Ecient Prototyping System Based on Incremental Design and Module-by-module Verication

This paper presents an e cient hardware prototyping methodologies of digital systems. It is based on a lowcost and exible prototyping system which consists of a general-purpose CPU and a FPGA-based custom board. Using our prototyping methodologies such as incremental system design and module-by-module veri cation, we can map partial system speci cation into hardware prototype, which is implemented by programming FPGAs on custom board. This allows exible and e cient system veri cation as well as reduction in cost and time of prototype building.