Design and verification of peripheral control circuits in Esterel.
Satnam SinghPublished in: Concurr. Comput. Pract. Exp. (2010)
Keyphrases
- circuit design
- high level synthesis
- design procedure
- design process
- engineering design
- control method
- functional verification
- control structure
- design space
- design methodology
- building blocks
- control system
- genetic algorithm
- neural network
- database
- user interface
- formal verification
- case study
- digital circuits
- web services
- power reduction