Optimized synthesis of dedicated controllers with concurrent checking capabilities

This publication has 17 references indexed in Scilit:

• Aliasing in signature analysis testing with multiple-input shift-registers
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Aliasing errors in multiple input signature analysis registers
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Built-in test compiler in an ASIC environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Detection of control flow errors using signature and checking instructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• State assignment using a new embedding method based on an intersecting cube theory
  Published by Association for Computing Machinery (ACM) ,1989
• UBIST version of the SYCO's control section compiler
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• ASYL: A Rule-Based System for Controller Synthesis
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• Concurrent Fault Detection in Microprogrammed Control Units
  IEEE Transactions on Computers, 1985
• Design of concurrently testable microprogrammed control units
  ACM SIGMICRO Newsletter, 1982
• Design of a Self-Checking Microprogram Control
  IEEE Transactions on Computers, 1973