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
Keywords :
Automata; Circuit simulation; Compaction; Contracts; Digital systems; Energy consumption; Logic; Permission; Sequential circuits; Steady-state;
Conference_Titel :
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-7803-4093-0
DOI :
10.1109/DAC.1997.597109
