Hardware/Firmware Verification of Graphic IP.
Romain KamdemPublished in: IEEE International Workshop on Rapid System Prototyping (2007)
Keyphrases
- ibm zenterprise
- computer systems
- hardware designs
- error detection
- hardware and software
- input output
- low cost
- model checking
- real time
- resource manager
- operating system
- power consumption
- personal computer
- computing systems
- hardware implementation
- parallel hardware
- image processing
- massively parallel
- asynchronous circuits
- verification method
- internet protocol
- functional verification
- circuit design
- ip networks
- computing power
- error correction
- end to end
- data acquisition
- data processing
- high speed
- information systems