The minimization and decomposition of interface state machines

Authors:
Ajay J. Daga;William P. Birmingham
Affiliations:
ECES Department, The University of Michigan, Ann Arbor, MI;ECES Department, The University of Michigan, Ann Arbor, MI
Venue:
DAC '94 Proceedings of the 31st annual Design Automation Conference
Year:
1994

Timing analysis in a logic synthesis environment

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications

Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications
Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series
A New Interface Specification Methodology and

A New Interface Specification Methodology and

Interface timing verification drives system design

DAC '97 Proceedings of the 34th annual Design Automation Conference

Hi-index	0.00