Keyword : synchronous circuits


TPF: An Effective Method for Verifying Synchronous Circuits with Induction-Based Provers
Kazuko TAKAHASHI Hiroshi FUJITA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/01/25
Vol. E81-D  No. 1 ; pp. 12-18
Type of Manuscript:  PAPER
Category: Computer Hardware and Design
Keyword: 
design verificationhardware descriptionBoyer-Moore theorem proverautomated deductionsynchronous circuits
 Summary | Full Text:PDF

Some Lower Bounds of Cyclic Shift on Boolean Circuits
Tatsuie TSUKIJI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/04/25
Vol. E79-A  No. 4 ; pp. 520-523
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
Boolean circuitscyclic shiftlower boundspartitioningssynchronous circuits
 Summary | Full Text:PDF

Optimization of Sequential Synchronous Digital Circuits Using Structural Models
Giovanni De MICHELI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/09/25
Vol. E76-D  No. 9 ; pp. 1018-1029
Type of Manuscript:  INVITED PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: Logic Synthesis
Keyword: 
computer hardware and disignsynchronous circuitsCADlogic synthesis
 Summary | Full Text:PDF