Symbolic simulation heuristics for high-level design descriptions with uninterpreted functions.
Kiyoharu HamaguchiPublished in: HLDVT (2001)
Keyphrases
- high level
- low level
- low level features
- design space
- artificial intelligence
- engineering design
- simulation software
- intermediate level
- control system
- building blocks
- design decisions
- conceptual model
- heuristic search
- simulation tools
- simulation environment
- design principles
- search strategies
- design process
- higher level
- knowledge based systems
- user interface
- case study
- information systems