State assignment using a new embedding method based on an intersecting cube theory
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
NOVA: state assignment of finite state machines for optimal two-level logic implementations
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Optimized Synthesis of Concurrently Checked Controllers
IEEE Transactions on Computers
ASSURE: automated design for dependability
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
SIDECAR: design support for reliability
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
A data path synthesis method for self-testable designs
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Automated micro-roll-back self-recovery synthesis
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Transformation-based high-level synthesis of fault-tolerant ASICs
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
An implementation of a state assignment heuristic
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
State assignment of controllers for optimal area implementation
EURO-DAC '90 Proceedings of the conference on European design automation
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Error Detection in Fault Secure Controllers using State Encoding
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Hi-index | 0.00 |