JPS6221138B2 - - Google Patents

Info

Publication number
JPS6221138B2
JPS6221138B2 JP57030326A JP3032682A JPS6221138B2 JP S6221138 B2 JPS6221138 B2 JP S6221138B2 JP 57030326 A JP57030326 A JP 57030326A JP 3032682 A JP3032682 A JP 3032682A JP S6221138 B2 JPS6221138 B2 JP S6221138B2
Authority
JP
Japan
Prior art keywords
function
input
output
register
macro
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired
Application number
JP57030326A
Other languages
English (en)
Japanese (ja)
Other versions
JPS58146948A (ja
Inventor
Kenji Oomori
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
Nippon Electric Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Nippon Electric Co Ltd filed Critical Nippon Electric Co Ltd
Priority to JP57030326A priority Critical patent/JPS58146948A/ja
Publication of JPS58146948A publication Critical patent/JPS58146948A/ja
Publication of JPS6221138B2 publication Critical patent/JPS6221138B2/ja
Granted legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
JP57030326A 1982-02-26 1982-02-26 フアンクシヨンマクロ Granted JPS58146948A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP57030326A JPS58146948A (ja) 1982-02-26 1982-02-26 フアンクシヨンマクロ

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP57030326A JPS58146948A (ja) 1982-02-26 1982-02-26 フアンクシヨンマクロ

Publications (2)

Publication Number Publication Date
JPS58146948A JPS58146948A (ja) 1983-09-01
JPS6221138B2 true JPS6221138B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) 1987-05-11

Family

ID=12300681

Family Applications (1)

Application Number Title Priority Date Filing Date
JP57030326A Granted JPS58146948A (ja) 1982-02-26 1982-02-26 フアンクシヨンマクロ

Country Status (1)

Country Link
JP (1) JPS58146948A (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)

Also Published As

Publication number Publication date
JPS58146948A (ja) 1983-09-01

Similar Documents

Publication Publication Date Title
US5594741A (en) Method for control of random test vector generation
US6016554A (en) Method for event-related functional testing of a microprocessor
US7769577B2 (en) Hardware accelerator with a single partition for latches and combinational logic
US7917348B2 (en) Method of switching external models in an automated system-on-chip integrated circuit design verification system
US7483824B1 (en) Self-checking test generator for partially-modeled processors by propagating fuzzy states
JPH06194415A (ja) 論理回路の試験方法とその装置
JPH0230056B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
US5859962A (en) Automated verification of digital design
US20060130029A1 (en) Programming language model generating apparatus for hardware verification, programming language model generating method for hardware verification, computer system, hardware simulation method, control program and computer-readable storage medium
JPH03209569A (ja) 論理シミュレーション方法
US7130784B2 (en) Logic simulation
JPS6221138B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
US5245549A (en) Gate addressing system for logic simulation machine
US6339751B1 (en) Circuit design support apparatus and a method
Johnson Behavioral-level test development
US7441209B2 (en) Method, system and program product for providing a configuration specification language supporting error checking dials
JPH0345580B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
JP2797128B2 (ja) 論理シミュレータ
JPH0429425Y2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
JP3004669B2 (ja) 論理シミュレータ
JP2797127B2 (ja) 論理シミュレータ
JP3004670B2 (ja) 論理シミュレータ
WO2024165828A1 (en) Computer-implemented methods of verifying a processor design under test, and related systems
KR20050059985A (ko) 대용량메모리와 컴파일 회피를 이용한 하드웨어기반검증의 성능 향상 장치 및 이를 이용한 설계 검증 방법
JPS6235699B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)