发明名称 |
Application specific integrated circuit design tool and file structure |
摘要 |
A design tool and method for characterizing a circuit at a hardware level includes the steps of generating a behavioral level description of the circuit and generating a netlist from the behavioral level description. Reference equations are generated from the netlist and are translated into numeric and symbolic C-code. The symbolic C-code is compared to the numeric C-code for validation. The reference equations are translated into numeric and symbolic HDL-code. The symbolic HDL-code is compared to the numeric HDL-code for validation. The symbolic C-code is compiled and simulated. A C-code equation file is generated. The symbolic HDL-code is compiled and simulated. A HDL-code equation file is generated. A symbolic manipulation program is used to solve for a difference between the C-code equation file and the HDL-code equation file. If there are no unexpected differences, equivalence is established.
|
申请公布号 |
US6757884(B2) |
申请公布日期 |
2004.06.29 |
申请号 |
US20010918596 |
申请日期 |
2001.07.31 |
申请人 |
THE BOEING COMPANY |
发明人 |
MANDELL MICHAEL I.;BERMAN ARNOLD L. |
分类号 |
G06F17/50;(IPC1-7):G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|