Optimizing sequential verification by retiming transformations Conference Proceeding

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

June 5, 2000

Date in CU Experts

July 2, 2026 11:15 AM

Full Author List

Cabodi G; Quer S; Somenzi F

author count

3

citation count

5

published in

Design Automation Conference Journal

presented at event

37th Annual Design Automation Conference (DAC) Conference

Other Profiles

International Standard Serial Number (ISSN)

0738-100X

Digital Object Identifier (DOI)

https://doi.org/10.1145/337292.337591

International Standard Book Number (ISBN) 10

0-7803-6315-9

Additional Document Info

start page

601

end page

606