Verification of a VHDL GPS baseband processor using a simulink-based test bench generator.
Terence ZarbIvan GrechEdward GattOwen CashaJoseph MicallefPublished in: ICECS (2010)
Keyphrases
- functional verification
- field programmable gate array
- formal verification
- hardware implementation
- control system
- fpga device
- parallel processing
- high speed
- integrated circuit
- fault detection
- hardware design
- google maps
- face verification
- control algorithm
- fpga implementation
- gps data
- model checking
- single chip
- multiprocessor systems
- circuit design
- neural network
- high end
- parallel architecture
- signature verification
- global positioning system
- wifi
- formal methods
- end to end
- low cost
- global positioning systems