Concurrent Specification and Timing Analysis of Digital Hardware Using SDL.
Kenneth J. TurnerF. Javier Argul-MarinStephen D. LaingPublished in: IPDPS Workshops (2000)
Keyphrases
- circuit design
- real time
- hardware and software
- low cost
- high level
- computer systems
- hybrid automata
- image processing
- embedded systems
- database
- control program
- computing systems
- vlsi implementation
- digital content
- camera phones
- digital topology
- hardware architecture
- neural network
- formal methods
- hardware implementation
- user defined
- control system
- digital libraries