Functional information extraction from combinational circuits

Masahiko Ohmura, Hiroto Yasuura, Keikichi Tamaru

Research output: Contribution to journalArticlepeer-review

Abstract

This paper proposes a technique of functional information extraction which transforms design description at the logic circuit level in the LSI design process to a description at functional level. This technology is considered to be a powerful means of logic design verification similar to the circuit extraction technology already in practical use for layout design verification. Moreover, by automatically generating function description language from given circuit description, it can be used in functional and fault simulations and is useful in reusing circuits. An extraction technique of logic and arithmetic functions of combinational circuits is investigated herein. As internal representation of logic functions, binary decision diagrams are used for efficient treatment. For extraction of arithmetic functions, a technique of first extracting logic functions, and then representing them by arithmetic expressions is used. This technique has a characteristic that the same function description is obtained from circuits with the same functions even though their circuit structures are different. Therefore, functional information extraction independent of circuit structure can be done. This paper describes first the extraction of logic functions, which is the basic technique, and then explains the arithmetic function extraction technique. Finally, some concrete examples are evaluated.

Original languageEnglish
Pages (from-to)28-38
Number of pages11
JournalElectronics and Communications in Japan (Part III: Fundamental Electronic Science)
Volume74
Issue number11
DOIs
Publication statusPublished - Jan 1 1991
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Functional information extraction from combinational circuits'. Together they form a unique fingerprint.

Cite this