Specification, Planning, and Synthesis in a VHDL Design Environment.
Vijay NagasamyNeerav BerryCarlos DangeloPublished in: IEEE Des. Test Comput. (1992)
Keyphrases
- mobile robot
- hardware design
- formal methods
- software environment
- signal processing
- circuit design
- simulation environment
- mechanical devices
- case study
- requirements specification
- specification language
- integrated circuit
- hardware implementation
- conceptual model
- design process
- building blocks
- dynamic environments
- knowledge based systems