Methodology for synthesis, testing, and verification of pipelined architecture processors from behavioral-level-only HDL code and a case study example
被引:4
作者:
Heath, JR
论文数: 0引用数: 0
h-index: 0
机构:
Univ Kentucky, Dept Elect Engn, Lexington, KY 40506 USAUniv Kentucky, Dept Elect Engn, Lexington, KY 40506 USA
Heath, JR
[1
]
Durbha, S
论文数: 0引用数: 0
h-index: 0
机构:
Univ Kentucky, Dept Elect Engn, Lexington, KY 40506 USAUniv Kentucky, Dept Elect Engn, Lexington, KY 40506 USA
Durbha, S
[1
]
机构:
[1] Univ Kentucky, Dept Elect Engn, Lexington, KY 40506 USA
来源:
IEEE SOUTHEASTCON 2001: ENGINEERING THE FUTURE, PROCEEDINGS
|
2001年
关键词:
high level design and synthesis;
HDLs;
computers;
FPGAs;
prototyping;
testing;
verification;
D O I:
10.1109/SECON.2001.923104
中图分类号:
TP [自动化技术、计算机技术];
学科分类号:
0812 ;
摘要:
A goal of computer designers is to reduce the development cycle time for complex pipelined architecture core processor systems. A research effort is described which had a major objective of determining if an approach and methodology could be developed which will allow complex pipelined architecture processors with stringent system functional, timing, and performance requirements to be correctly and efficiently synthesized from a high behavioral-level-only HDL design description, thus reducing development cycle time. A second research objective was to synthesize to target FPGA technology using primarily standard available PC based CAD tools. Contributions include a developed approach and methodology which are verified by presentation of the results of a case study example which resulted in the correct synthesis of a FPGA prototype of a behavioral-level-only HDL described pipeline architecture processor. Correct synthesis was verified via experimental testing of the processor prototype.