DocumentCode

2562608

Title

Sequence Compaction For Probabilistic Analysis Of Finite-state Machines

Author

Marculescu, Diana ; Marculescu, Radu ; Pedram, Massoud

Author_Institution

Department of Electrical Engineering - Systems University of Southern California

fYear

1997

fDate

9-13 June 1997

Firstpage

12

Lastpage

15

Keywords

Automata; Circuit simulation; Compaction; Contracts; Digital systems; Energy consumption; Logic; Permission; Sequential circuits; Steady-state;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1997. Proceedings of the 34th

Conference_Location

Anaheim, CA, USA

ISSN

0738-100X

Print_ISBN

0-7803-4093-0

Type

conf

DOI

10.1109/DAC.1997.597109

Filename

597109