Re-engineering hardware specifications by exploiting design semantics.
Salvador MirNick FilerPublished in: EURO-DAC (1994)
Keyphrases
- engineering design
- design process
- hardware design
- artificial intelligence
- conceptual design
- hardware and software
- embedded systems
- real time
- low cost
- product design
- design requirements
- case study
- hardware architecture
- software architecture
- logic programming
- computer science
- hardware implementation
- operational semantics
- single chip
- engineering students
- evolvable hardware