JPH0820966B2 - データ処理装置試験方式 - Google Patents

データ処理装置試験方式

Info

Publication number
JPH0820966B2
JPH0820966B2 JP62237530A JP23753087A JPH0820966B2 JP H0820966 B2 JPH0820966 B2 JP H0820966B2 JP 62237530 A JP62237530 A JP 62237530A JP 23753087 A JP23753087 A JP 23753087A JP H0820966 B2 JPH0820966 B2 JP H0820966B2
Authority
JP
Japan
Prior art keywords
test
instruction
test instruction
execution
flow
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 - Lifetime
Application number
JP62237530A
Other languages
English (en)
Japanese (ja)
Other versions
JPH0820966B6 (cs
JPS6481043A (en
Inventor
善太郎 廣瀬
政吉 田中
敏彦 竹腰
哲 染谷
薫 鈴木
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.)
Hitachi Ltd
Original Assignee
Hitachi 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 Hitachi Ltd filed Critical Hitachi Ltd
Priority to JP62237530A priority Critical patent/JPH0820966B2/ja
Publication of JPS6481043A publication Critical patent/JPS6481043A/ja
Publication of JPH0820966B2 publication Critical patent/JPH0820966B2/ja
Application granted granted Critical
Publication of JPH0820966B6 publication Critical patent/JPH0820966B6/ja
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)
  • Advance Control (AREA)
JP62237530A 1987-09-24 1987-09-24 データ処理装置試験方式 Expired - Lifetime JPH0820966B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP62237530A JPH0820966B2 (ja) 1987-09-24 1987-09-24 データ処理装置試験方式

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP62237530A JPH0820966B2 (ja) 1987-09-24 1987-09-24 データ処理装置試験方式

Publications (3)

Publication Number Publication Date
JPS6481043A JPS6481043A (en) 1989-03-27
JPH0820966B2 true JPH0820966B2 (ja) 1996-03-04
JPH0820966B6 JPH0820966B6 (cs) 2007-07-25

Family

ID=17016699

Family Applications (1)

Application Number Title Priority Date Filing Date
JP62237530A Expired - Lifetime JPH0820966B2 (ja) 1987-09-24 1987-09-24 データ処理装置試験方式

Country Status (1)

Country Link
JP (1) JPH0820966B2 (cs)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05274385A (ja) * 1992-03-25 1993-10-22 Hitachi Ltd 論理検証環境制御装置

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS62100847A (ja) * 1985-10-29 1987-05-11 Nec Corp 情報処理装置の試験方式

Also Published As

Publication number Publication date
JPS6481043A (en) 1989-03-27

Similar Documents

Publication Publication Date Title
US4787062A (en) Glitch detection by forcing the output of a simulated logic device to an undefined state
US6553527B1 (en) Programmable array built-in self test method and controller with programmable expect generator
US7302417B2 (en) Method and apparatus for improving efficiency of constraint solving
US5491639A (en) Procedure for verifying data-processing systems
US6847927B2 (en) Efficient array tracing in a logic simulator machine
CN115732025A (zh) Ram访问冲突的验证方法及验证装置
JPH0820966B2 (ja) データ処理装置試験方式
US7353216B2 (en) Method and apparatus for improving efficiency of constraint solving
US5528604A (en) Test pattern generation for an electronic circuit using a transformed circuit description
JPS6141017B2 (cs)
CN112540920A (zh) 测试方法、装置、设备和存储介质
Zachmann An architecture for hierarchical collision detection
US6144930A (en) Method for providing a memory model of a memory device for use in simulation
Saab Parallel-concurrent fault simulation
CN117313596B (zh) 一种定位逻辑系统设计的错误的方法、设备以及存储介质
JPH0458070B2 (cs)
JP2001249906A (ja) ＳｙｍｍｅｔｒｉｃＭｕｌｔｉプロセッサの試験実行方式
JPS6153579A (ja) 論理回路機能試験機
JPH023147B2 (cs)
CN117454835A (zh) 保存和读取波形数据的方法、电子设备以及存储介质
WO2021247102A1 (en) Backwards instruction stream generation
JP2767817B2 (ja) シーケンサの接点の模擬動作方法
CN119623367A (zh) 代码模型生成方法、代码模型验证方法及相关装置
JPH0561935A (ja) 論理シミユレーシヨン方式
JPH07182156A (ja) マイクロプログラム制御装置

Legal Events

Date Code Title Description
S531 Written request for registration of change of domicile

Free format text: JAPANESE INTERMEDIATE CODE: R313531

R360 Written notification for declining of transfer of rights

Free format text: JAPANESE INTERMEDIATE CODE: R360

R370 Written measure of declining of transfer procedure

Free format text: JAPANESE INTERMEDIATE CODE: R370

S531 Written request for registration of change of domicile

Free format text: JAPANESE INTERMEDIATE CODE: R313531

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350

S111 Request for change of ownership or part of ownership

Free format text: JAPANESE INTERMEDIATE CODE: R313115

S531 Written request for registration of change of domicile

Free format text: JAPANESE INTERMEDIATE CODE: R313531

S533 Written request for registration of change of name

Free format text: JAPANESE INTERMEDIATE CODE: R313533

R371 Transfer withdrawn

Free format text: JAPANESE INTERMEDIATE CODE: R371

R371 Transfer withdrawn

Free format text: JAPANESE INTERMEDIATE CODE: R371

S111 Request for change of ownership or part of ownership

Free format text: JAPANESE INTERMEDIATE CODE: R313115

S531 Written request for registration of change of domicile

Free format text: JAPANESE INTERMEDIATE CODE: R313531

S533 Written request for registration of change of name

Free format text: JAPANESE INTERMEDIATE CODE: R313533

R371 Transfer withdrawn

Free format text: JAPANESE INTERMEDIATE CODE: R371

S111 Request for change of ownership or part of ownership

Free format text: JAPANESE INTERMEDIATE CODE: R313115

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350

EXPY Cancellation because of completion of term
FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20080304

Year of fee payment: 12