Keyword : equivalent class


Generating Test Sequences from Statecharts for Concurrent Program Testing
Heui-Seok SEO In Sang CHUNG Yong Rae KWON 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4 ; pp. 1459-1469
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
statechartsconcurrent programspecification-based testingtest sequenceequivalent class
 Summary | Full Text:PDF

A Variable Partitioning Algorithm of BDD for FPGA Technology Mapping
Jie-Hong JIANG Jing-Yang JOU Juinn-Dar HUANG Jung-Shian WEI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/10/25
Vol. E80-A  No. 10 ; pp. 1813-1819
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
binary decision diagramsequivalent classRoth-Karp decompositionLUT-based FPGA
 Summary | Full Text:PDF