Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design
Reexamination Certificate
2006-11-07
2006-11-07
Lin, Sun James (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Nanotechnology related integrated circuit design
C716S030000, C702S181000
Reexamination Certificate
active
07134106
ABSTRACT:
Method and system for providing a computer implemented process of performing design for testability analysis and synthesis in an integrated circuit design includes partitioning each logic block in an integrated circuit design based on one or more boundaries of multi-cycle initial setup sequence, excluding one or more partitioned logic blocks with multi-cycle initial setup sequence from valid candidate blocks, selecting a constraint setting set, extracting a subset of constraint settings from the selected constraint setting set, applying the extracted subset of constraint settings to the integrated circuit design, performing design for testability analysis and synthesis on the valid candidate blocks, performing scan cell replacement. The scan cell replacement may include performing class selection from a cell library and a gate-level netlist based on affinity between cells, determining a target characterization, such as timing, power, area, for example, for the scan cell replacement, and replacing one or more cells with a corresponding one or more scan cells having the closest target characteristics.
REFERENCES:
patent: 5903466 (1999-05-01), Beausang et al.
patent: 6505316 (2003-01-01), Chakradhar et al.
patent: 6697982 (2004-02-01), Chakravarthy et al.
Derek L Beatty et al., Formally Verifying A Microprocessor Using a Simulation Methodology, 1994, 31st ACM/IEEE Design Automation Conference, pp. 596-602.
Alfred Kolbl et al., Symbolic RTL Simulation, 2001, DAC 2001, pp. 47-52.
Sriram C. Krishnan et al., Symbolic Simulatino Formally Verifies ECC, Apr. 2, 2002, EEdesign.
ACCULOGIC Web page, Boundary Scan, 2003.
JTAG Technologies Web page, Unlocking the power of Boundary-scan, 2001.
Marcus Hedlund, The Standard for Embedded Core Test, 7 pages, Unversity of Jonkoping, School of Engineering, Sweden.
Chen Ihao
Fan Yong
Huang Steve C.
Incentia Design Systems Corp.
Jackson & Co., LLP
Lin Sun James
LandOfFree
Method and system for providing fast design for testability... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system for providing fast design for testability..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for providing fast design for testability... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3660137