Decomposition of Finite State Machines for Area, Delay Minimization.
Rupesh S. ShelarMadhav P. DesaiH. NarayananPublished in: ICCD (1999)
Keyphrases
- finite state machines
- model checking
- power dissipation
- finite state automata
- functional decomposition
- objective function
- regular expressions
- hidden markov models
- decomposition method
- decomposition methods
- digital circuits
- test set
- data warehouse
- database
- regularization term
- relational databases
- data analysis
- metadata