JPH03189767A - Design verifying device for logic circuit - Google Patents

Design verifying device for logic circuit

Info

Publication number
JPH03189767A
JPH03189767A JP1328724A JP32872489A JPH03189767A JP H03189767 A JPH03189767 A JP H03189767A JP 1328724 A JP1328724 A JP 1328724A JP 32872489 A JP32872489 A JP 32872489A JP H03189767 A JPH03189767 A JP H03189767A
Authority
JP
Japan
Prior art keywords
result
simulation
time
concerned
nearest
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.)
Pending
Application number
JP1328724A
Other languages
Japanese (ja)
Inventor
Kazunobu Maezuru
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.)
Ricoh Co Ltd
Original Assignee
Ricoh 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 Ricoh Co Ltd filed Critical Ricoh Co Ltd
Priority to JP1328724A priority Critical patent/JPH03189767A/en
Publication of JPH03189767A publication Critical patent/JPH03189767A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE: To quickly confirm a desired time or a result of the nearest simulation thereto by displaying a result of simulation of the time concerned, when a specific time is designated, and displaying a result of the nearest time to its specific time, in the case there is no time concerned.
CONSTITUTION: When a specific time of a result of simulation is designated by a retrieval object time designating means 8, a simulation result retrieving means 9 retrieves a result of the simulation concerned from a simulation result storage means 6 and displays it, and even if the one concerned does not exist, a result of simulation of the nearest time to the specific time is retrieved and displayed. In such a way, a desired time or a result of the nearest simulation thereto can be confirmed quickly.
COPYRIGHT: (C)1991,JPO&Japio
JP1328724A 1989-12-19 1989-12-19 Design verifying device for logic circuit Pending JPH03189767A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP1328724A JPH03189767A (en) 1989-12-19 1989-12-19 Design verifying device for logic circuit

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP1328724A JPH03189767A (en) 1989-12-19 1989-12-19 Design verifying device for logic circuit

Publications (1)

Publication Number Publication Date
JPH03189767A true JPH03189767A (en) 1991-08-19

Family

ID=18213472

Family Applications (1)

Application Number Title Priority Date Filing Date
JP1328724A Pending JPH03189767A (en) 1989-12-19 1989-12-19 Design verifying device for logic circuit

Country Status (1)

Country Link
JP (1) JPH03189767A (en)

Similar Documents

Publication Publication Date Title
JPH03229357A (en) Layout display controller for document processor
JPH01231176A (en) Map information retrieving device
JPH04287094A (en) Display system for multiwindow system
JPH03189767A (en) Design verifying device for logic circuit
JPH0192851A (en) Switching device for address space
JPH032976A (en) Picture information filing device
JPH0250267A (en) Wiring path display device
JPH04333168A (en) Device for retrieving graphic
JPH0275060A (en) Japanese word processor with back-up function for production of external character
JPH0276075A (en) Drawing managing device
JPH02297282A (en) Document processor
JPH04260095A (en) Character information display system
JPH0485668A (en) Electronic equipment
JPH03198090A (en) System for displaying menu
JPH0474275A (en) Display device for correspondence between design information
JPH01100662A (en) Display device
JPH031195A (en) Automatic musical performance device
JPH0354669A (en) Picture display device
JPH01230088A (en) Training simulator
JPH0237471A (en) Information retrieving device
JPH04179995A (en) Information display system
JPH0371195A (en) Information processor
JPH03105455A (en) Character processor
JPH03233772A (en) Document preparing device
JPH03182971A (en) Attribute setting system in conversational graphic processing