Executable Specification 기법을 이용한 MPEG Audio용 IMDCT 설계 및 기능검증

Executable Specification based Design Methodology - MPEG Audio IMDCT Design and Functional Verification

Silicon semiconductor technology agree that the number of transistors on a chip will keep growing exponentially, and it is pushing technology toward the System-On-Chip. In SoC Design, Specification at system level is key of success. Executable Specification reduce verification time. This Paper describe the design of IMDCT for MPEG Audio Decoder employing system-level design methodology and Executable Specification Methodology in the VHDL simulator with FLI environment.