GB8407795D0 - Verifying design of digital electronic components - Google Patents

Verifying design of digital electronic components

Info

Publication number
GB8407795D0
GB8407795D0 GB848407795A GB8407795A GB8407795D0 GB 8407795 D0 GB8407795 D0 GB 8407795D0 GB 848407795 A GB848407795 A GB 848407795A GB 8407795 A GB8407795 A GB 8407795A GB 8407795 D0 GB8407795 D0 GB 8407795D0
Authority
GB
United Kingdom
Prior art keywords
electronic components
digital electronic
verifying design
verifying
design
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.)
Granted
Application number
GB848407795A
Other versions
GB2138605B (en
GB2138605A (en
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.)
Fujitsu Services Ltd
Original Assignee
Fujitsu Services 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
Priority claimed from GB838309692A external-priority patent/GB8309692D0/en
Application filed by Fujitsu Services Ltd filed Critical Fujitsu Services Ltd
Priority to GB08407795A priority Critical patent/GB2138605B/en
Publication of GB8407795D0 publication Critical patent/GB8407795D0/en
Publication of GB2138605A publication Critical patent/GB2138605A/en
Application granted granted Critical
Publication of GB2138605B publication Critical patent/GB2138605B/en
Expired legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Debugging And Monitoring (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
GB08407795A 1983-04-09 1984-03-26 System for verifying design of electronic component Expired GB2138605B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
GB08407795A GB2138605B (en) 1983-04-09 1984-03-26 System for verifying design of electronic component

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
GB838309692A GB8309692D0 (en) 1983-04-09 1983-04-09 Verifying design of digital electronic systems
GB08407795A GB2138605B (en) 1983-04-09 1984-03-26 System for verifying design of electronic component

Publications (3)

Publication Number Publication Date
GB8407795D0 true GB8407795D0 (en) 1984-05-02
GB2138605A GB2138605A (en) 1984-10-24
GB2138605B GB2138605B (en) 1987-03-11

Family

ID=26285778

Family Applications (1)

Application Number Title Priority Date Filing Date
GB08407795A Expired GB2138605B (en) 1983-04-09 1984-03-26 System for verifying design of electronic component

Country Status (1)

Country Link
GB (1) GB2138605B (en)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE69030792T2 (en) * 1989-07-27 1997-09-11 Lsi Logic Corp Method and device for interaction emulation between an application-specific integrated circuit (ASIC) during development and a target system
JP3242277B2 (en) * 1995-03-20 2001-12-25 富士通株式会社 Simulation equipment

Also Published As

Publication number Publication date
GB2138605B (en) 1987-03-11
GB2138605A (en) 1984-10-24

Similar Documents

Publication Publication Date Title
ZA842314B (en) Verifying design of digital electronic components
DE3474477D1 (en) Electronic balance
DE3368770D1 (en) Testing digital electronic circuits
DE3476118D1 (en) Electronic weighers
GB8425780D0 (en) Housing for electronic component
DE3473364D1 (en) Digital multiplying circuit
GB2118390B (en) Electronic timepiece
GB2138619B (en) Electronic harmonica
GB8408789D0 (en) Miniaturized electronic component
GB8325803D0 (en) Electronic circuit assembly
GB2140639B (en) An integrated circuit
GB8331434D0 (en) Electronic components
GB8329008D0 (en) Electronic timepiece
GB2141829B (en) Digital circuit testing arrangement
GB2115955B (en) Electronic timepiece
GB8407795D0 (en) Verifying design of digital electronic components
GB8431960D0 (en) Tape-mounted electronic components assembly
GB2098365B (en) Digital electronic timepiece
GB2128380B (en) Electronic timepiece
GB8328193D0 (en) Protection of electronic components
SU1154648A1 (en) Electronic clock
GB8334593D0 (en) Electronic detector circuit
GB8417576D0 (en) Interface circuit
GB8610949D0 (en) Electronic component
EP0145433A3 (en) Electronic weigher

Legal Events

Date Code Title Description
PE20 Patent expired after termination of 20 years

Effective date: 20040325