| 用公式法进行复杂系统的特性描述设计 |
| |
| 引用本文： | 陈耀军,孙兆民. 用公式法进行复杂系统的特性描述设计[J]. 吉林大学学报(信息科学版), 1996, 0(4) |
| |
| 作者姓名： | 陈耀军 孙兆民 |
| |
| 作者单位： | 长春邮电学院计算机工程系 组织人事处 |
| |
| 摘 要： | 为保证超大规模集成电路（ＶＬＳＩ）设计过程的正确无误，本文提供了一个电路系统的计算机辅助模拟系统（ＣＡＳＳＹ）。该系统采用高级符号提取方法，可用公式、图形、列表３种形式对数字、模拟混合电路系统进行分析、模拟、验证
|
| 关 键 词： | 计算机辅助设计；电路系统；软件 |
Design of complex system from behavioural descriptions using formal methods |
| |
| Chen Yaojun,Sun Zhaomin. Design of complex system from behavioural descriptions using formal methods[J]. Journal of Jilin University:Information Sci Ed, 1996, 0(4) |
| |
| Authors: | Chen Yaojun Sun Zhaomin |
| |
| Abstract: | A computer aided simulation system CASSY(Computer Aided Simulation System) for VLSI( Very Large Scale Integrated) circuits systems was presented to keep the design procedure of VLSI out of mistakes.And the highest level abstraction of symbol was used,it can analyze,simulate and verify the mixed digital and analog signal process systems rapidly by three methods: formulas,graphs and tables. |
| |
| Keywords: | Computer aided design( CAD ) Electronic circuits system Software |
| 本文献已被 CNKI 等数据库收录！ |
