Performance estimation in a massively parallel system
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
On removing redundancy in sequential circuits
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
Iterative [simulation-based genetics + deterministic techniques]= complete ATPG0
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Automatic generation of functional vectors using the extended finite state machine model
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Gate-level test generation for sequential circuits
ACM Transactions on Design Automation of Electronic Systems (TODAES)
CRIS: a test cultivation program for sequential VLSI circuits
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Timing simulation of digital circuits with binary decision diagrams
Proceedings of the conference on Design, automation and test in Europe
A Behavioral Fault Simulator for Ideal
IEEE Design & Test
Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
Hardware-accelerated concurrent fault simulation: eventflow computing versus dataflow computing
ATS '95 Proceedings of the 4th Asian Test Symposium
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
The Input Pattern Order Problem: Evolution of Combinatorial and Sequential Circuits in Hardware
ICES '08 Proceedings of the 8th international conference on Evolvable Systems: From Biology to Hardware
Hi-index | 0.00 |