A high efficiency straightforward design and verification methodology for PLL systems.
Markus SchollYe ZhangRalf WunderlichStefan HeinenPublished in: MWSCAS (2016)
Keyphrases
- high efficiency
- design criteria
- formal methods
- building blocks
- design methodology
- artificial intelligence
- interactive systems
- human computer interface
- real and synthetic datasets
- design tools
- design issues
- conceptual framework
- computer aided
- knowledge based systems
- case study
- e learning
- design principles
- information retrieval
- complex systems
- learning systems
- digital circuits
- asynchronous circuits
- methodological framework
- technical systems
- hardware designs
- functional verification