VERIFICATION OF HARDWARE DESIGNS THRU SYMBOLIC MANIPULATION.

被引：0
|
作者：
Wagner, Todd J.
机构：
来源：
| 1977年
关键词：
COMPUTER PROGRAMMING LANGUAGES - COMPUTERS; DIGITAL; -; Circuits; COMPUTERS; MICROPROCESSOR - LOGIC DESIGN - Computer Aids;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A method is described for detecting errors in hardware designs based on algebraic manipulation. The behavior of a hardware system is specified using a non-procedural register transfer language. Similar specifications are provided for each component in the circuit.
引用
收藏
页码：50 / 53
相关论文
共 50 条
12345