Article thumbnail

Efficient Boolean Characteristic Function for Timed Automatic Test Pattern Generation

By Yu-Min Kuo


[[abstract]]©2009 IEEE-Timing analysis is critical for many circuit optimizations. An accurate timing analysis can be achieved by finding input vectors that simultaneously satisfy both functional and temporal requirements. The problem of finding such input vectors can be modeled as a Boolean equation called the timed characteristic function (TCF). Despite the usefulness of the TCF, traditional TCF construction and solving is slow for large circuits. In this paper, we present a more efficient way to use the TCF. On average, our method is much faster than other most recent works.[[department]]資訊工程學

Topics: Boolean function, logic design, modeling, timed characteristic function, timing analysis, [[classification]]2
Publisher: Institute of Electrical and Electronics Engineers
Year: 2009
DOI identifier: 10.1109/TCAD.2009.2013269
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.