What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
Harold W. LawsonPublished in: NATO ASI RTC (1992)
Keyphrases
- real time
- efficient implementation
- vlsi architecture
- current status
- fpga hardware
- low cost
- design process
- fpga implementation
- architectural design
- hardware design
- formal methods
- neural network
- highly modular
- circuit design
- hardware implementation
- engineering design
- vision system
- control system
- high level
- design considerations
- design decisions
- formal verification
- platform independent
- code generation
- model checking
- detailed design
- fpga device
- texas instruments