|
| Keyword : verification
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
A Verification and Analysis Tool Set for Embedded System Design
Yuichi NAKAMURA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2011/12/01
Vol. E94-A
No. 12 ;
pp. 2788-2793
Type of Manuscript:
INVITED PAPER (Special Section on Mathematical Systems Science and its Applications)
Category:
Keyword:
embedded systems, verification, | | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
Efficient Block-Level Connectivity Verification Algorithms for Embedded Memories
Jin-Fu LI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/12/01
Vol. E87-A
No. 12 ;
pp. 3185-3192
Type of Manuscript:
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Test
Keyword:
system on chip, embedded memories, verification, signal misplaced fault, | | | Summary | Full Text:PDF | |
|
A Comprehensive Simulation and Test Environment for Prototype VLSI Verification
Kazutoshi KOBAYASHI Hidetoshi ONODERA | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/03/01
Vol. E87-D
No. 3 ;
pp. 630-636
Type of Manuscript:
Special Section PAPER (Special Section on Test and Verification of VLSI)
Category: Verification
Keyword:
simulation, test, VLSI, tester, verification, | | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
| |
| |
|
On Verification of Token Self-Cleanness of Data-Flow Program Nets
Qi-Wei GE Kenji ONAGA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/25
Vol. E79-A
No. 6 ;
pp. 812-817
Type of Manuscript:
Special Section PAPER (Special Section of Papers Selected from 1995 Joint Technical Conference on Circuits/Systems, Computers and Communications (JTC-CSCC '95))
Category:
Keyword:
data-flow program, program net, token selfcleanness, verification, | | | Summary | Full Text:PDF | |
| |
| |
| |
|
Hierarchical Analysis System for VLSI Power Supply Network
Takeshi YOSHITOME | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A
No. 10 ;
pp. 1659-1665
Type of Manuscript:
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category:
Keyword:
LSI layout, verification, power supply network, voltage drop, | | | Summary | Full Text:PDF | |
| |
|
On the Specification for VLSI Systolic Arrays
Fuyau LIN | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/04/25
Vol. E76-A
No. 4 ;
pp. 496-506
Type of Manuscript:
Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category:
Keyword:
formal specification, Z, systolic architectures, verification, | | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
|
|
