Using Binary Decision Diagrams to Speed up the Test Pattern Generation of Behavioral Circuit Descriptions Written in Hardware Description Languages.
Loïc VandeventerJean François SantucciPublished in: ISCAS (1994)
Keyphrases
- description languages
- binary decision diagrams
- circuit design
- digital circuits
- description language
- boolean functions
- symbolic model checking
- service description
- planning problems
- web services
- semantic web services
- knowledge compilation
- reinforcement learning
- general purpose
- constraint satisfaction
- service discovery