Tài liệu tham khảo |
Loại |
Chi tiết |
[2] AMBA Specification (Rev2.0), 1999. http://www.ens.ewi.tudelft.nl/Education/courses/et4351/amba.pdf |
Sách, tạp chí |
Tiêu đề: |
AMBA Specification (Rev2.0) |
|
[3] Federico Aglietti. AHB System Generator, 2004. http://www.opencores.org/projects.cgi/web/ahb_system_generator/overview |
Sách, tạp chí |
Tiêu đề: |
AHB System Generator |
|
[4] Joerg Bormann, Markus Wedler, Joakim Urdahl, Dominik Stoffel and Wolfgang Kunz.Path predicate abstraction by complete interval property checking.In Formal Methods in Computer Aided Design, pages 207–215, 2010 |
Sách, tạp chí |
Tiêu đề: |
In Formal Methods in Computer Aided Design |
|
[5] G. Fey K. Winkelmann, D. Stoffel and H. Trylus. Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor (DATE), Paris, France, 2004 |
Sách, tạp chí |
Tiêu đề: |
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor (DATE) |
|
[7] Max Thalmaier, Jorg Bormann,Dominik Stoffel, Minh D. Nguyen, Markus Wedler and Wolfgang Kunz.Unbounded protocol compliance verification using interval property checking with invariants.IEEE Transactions on Computer- AidedDesign,27(11):2068–2082,2008 |
Sách, tạp chí |
Tiêu đề: |
IEEE Transactions on Computer-AidedDesign |
|
[8] Nguyễn Đức Minh(2011), Kiểm chứng vi mạch, Giáo trình giảng dạy, Viện Điện tử Viễn thông, Đại Học Bách Khoa Hà Nội, Hà Nội |
Sách, tạp chí |
Tiêu đề: |
Kiểm chứng vi mạch |
Tác giả: |
Nguyễn Đức Minh |
Năm: |
2011 |
|
[9] William K. Lam, Sun Microsystems (2005), Hardware Design Verification: Simulation and Formal Method-Based Approaches, Prentice Hall PTR, Massachusetts |
Sách, tạp chí |
Tiêu đề: |
Hardware Design Verification: "Simulation and Formal Method-Based Approaches |
Tác giả: |
William K. Lam, Sun Microsystems |
Năm: |
2005 |
|
[10] Nguyễn Đức Minh(2009), System-on-Chip Protocol Compliance Verification Using Interval Property Checking, Ph.D thesis, University of Kaiserslautern |
Sách, tạp chí |
Tiêu đề: |
System-on-Chip Protocol Compliance Verification Using Interval Property Checking |
Tác giả: |
Nguyễn Đức Minh |
Năm: |
2009 |
|
[11] Nguyễn Đức Minh(2003), Latch Mapping for Equivalence Checking, Master thesis, University of Kaiserslautern |
Sách, tạp chí |
Tiêu đề: |
Latch Mapping for Equivalence Checking |
Tác giả: |
Nguyễn Đức Minh |
Năm: |
2003 |
|
[12] M. Abramovici, M. Breuer, and A. Friedman. Digital Systems Testing and Testable Design. IEEE Press, Piscataway, New Jersey, 1994 |
Sách, tạp chí |
Tiêu đề: |
Digital Systems Testing and Testable Design |
|
[13] International technology roadmap for semiconductors. http://www.itrs.net [14] International Business Strategies,http://www.internationalbusinessstrategies.com/, 2009 |
Sách, tạp chí |
Tiêu đề: |
International technology roadmap for semiconductors". http://www.itrs.net [14] "International Business Strategies |
|
[16] Bob Bentley. High level validation of next-generation microprocessors. Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT'02), 2002 |
Sách, tạp chí |
Tiêu đề: |
High level validation of next-generation microprocessors |
|
[6] Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Minh D. Nguyen, Max Thalmaier and J¨org Bormann.A re-use methodology for formal soc protocol compliance verification.Technical report, Dept. of Electrical and Computer Engineering, University of Kaiserslautern, 2009 |
Khác |
|