Full abstraction for digital circuits.
Dan R. GhicaGeorge KayeDavid SprungerPublished in: CoRR (2022)
Keyphrases
- digital circuits
- analog circuits
- model based diagnosis
- data flow
- finite state machines
- circuit design
- evolvable hardware
- functional decomposition
- high level
- data abstraction
- case study
- decision theoretic planning
- abstraction hierarchy
- database
- integrity constraints
- search algorithm
- multi agent
- information systems
- information retrieval