Movatterモバイル変換


[0]ホーム

URL:


GB2164768A - Physical modelling device for use with computer-aided design - Google Patents

Physical modelling device for use with computer-aided design
Download PDF

Info

Publication number
GB2164768A
GB2164768AGB08520915AGB8520915AGB2164768AGB 2164768 AGB2164768 AGB 2164768AGB 08520915 AGB08520915 AGB 08520915AGB 8520915 AGB8520915 AGB 8520915AGB 2164768 AGB2164768 AGB 2164768A
Authority
GB
United Kingdom
Prior art keywords
component
coupled
vectors
channels
computer
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
GB08520915A
Other versions
GB2164768B (en
GB8520915D0 (en
Inventor
Peter A Stoll
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.)
Daisy Systems Corp
Original Assignee
Daisy Systems Corp
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 Daisy Systems CorpfiledCriticalDaisy Systems Corp
Publication of GB8520915D0publicationCriticalpatent/GB8520915D0/en
Publication of GB2164768ApublicationCriticalpatent/GB2164768A/en
Application grantedgrantedCritical
Publication of GB2164768BpublicationCriticalpatent/GB2164768B/en
Expiredlegal-statusCriticalCurrent

Links

Classifications

Landscapes

Abstract

A device for the modelling of physical components as part (25) of a logic simulation includes a logic simulation computer (17) for implementing an event driven algorithm which is used in conjunction with a static card (23) and a dynamic card (24). Both cards include channels for driving the components as well as detecting the output of the components. Data vectors from the computer are driven through the part and its output is sensed. The dynamic card includes a memory for storing the data vectors and presenting them in a continuous stream to parts which must be operated at a minimum speed, and presenting them in a continuing cycle to parts which are uninitializable. <IMAGE>

Description

SPECIFICATIONPhysical modelling device for use with computer-aided designBACKGROUND OF THE INVENTION 1. Field of the InventionThe invention relates to the field of computeraided design and more particularly to the implementation of a physical part into a simulation algorithm.
2. Prior ArtIn the design of electrical circuits, it is necessary to test the circuit prior to fabrication. In the past a circuit design would be implemented by "breadboarding" but such a method is uneconomical and impractical for today's circuits, which contain hundreds of thousands of components. One prior art method for simulating such circuits consists of computer aided design utilizing a simulation algorithm. In such a system, the individual elements of a circuit are simulated by software and are subjected to truth table analysisNumerous computers and systems are currently available for logic simulation. Illustrative of those available is the digital computer used for implementing an event driven simulation algorithm as taught in patent application No. 594,533 and assigned to the assignee of the present invention.
In that system, three processors consisting of an evaluation unit, a state unit and a queue unit are interconnected and run the algorithm to perform logic analysis on a circuit design. Often circuits are designed which employ standard, pre-existing parts as a portion of the circuit. In such a case, it is unnecessary to test the internal logic of the part, but it is desired to test its output as part of the designed circuit. It would be possible to simulate the part through software, but not all manufacturers have made public the internal circuits of parts fabricated by them. In that case, it is desired to have a method of including the physical part itself as part of the circuit simula tion.
The prior art includes examples of the physical modelling of a part in a test system. Illustrative are the following: In "Microprocessor Testing-- Method or Madness" By Douglas H. Smith printed in Digest of Papers, 1976 Symposium onSemiconductor Memory Testing, it is noted that an actual device can be utilized in a test instead of a software algorithm. A second article, "Test ing Microprocessor Chips: A Large Scale Challenge" Electronic Packaging and Production, April 1975, pp. 35-42, teaches the use of physical devices to generate their own behavior in an "emulation'' sequence. The article notes that output states are detected as a result of input data during such emulations. The author recommends testing a physical device as part of its intended overall system.Additionally, the April 1981 edition of the reference manual for a Sentry MASTRModular Monitor (M3) Release 1.1 instructs programmers to use a function of the monitor to construct programs which will progressively build up a test pattern by applying test signals to a part, and incorporating the response of the part to determine subsequent test signals.
Disadvantages of prior systems are an inability to incorporate parts which must be operated rapidly to function properly, or parts which are uninitializable. The present invention provides solutions to those problems.
SUMMARY OF THE INVENTIONA computer for implementing an event driven algorithm which simulates an integrated circuit or digital system with the improvement of having the ability to incorporate a physical part into the simulation is described. The improvement includes a static card, which accepts parts whose state does not decay with time, a dynamic card, which accepts parts which must be operated at a minimum speed to be effective, and a loop made so that dynamic parts which are uninitializable may be made part of the simulation. Together the improvements make up a physical modelling device which connects to the address space of an evaluation unit of a prior art logic simulator.
BRIEF DESCRIPTION OF THE DRA WINGSFigure 1 includes a block diagram showing the overall architecture of the present invention and a block diagram of a prior art logic simulator used in conjunction with the present invention.
Figure 2 illustrates the method of generating vectors.
Figure 3 illustrates a table which shows the state of a part for various input and output values.
Figure 4 is an electrical schematic of a portion of the dynamic card channels,Figure 5 is an electrical schematic illustrating the sensing detectors of a portion of the dynamic card channels.
Figure 6 is a flow diagram used to describe the operation of the loop mode.
Figure 7 is a flow diagram illustrating the operation of the dynamic card.
Figure 8 is a block diagram illustrating the static card.
Figure 9 is a block diagram illustrating the dynamic card.
Figure 10 is an electrical schematic illustrating an individual channel.
DETAILED DESCRIPTION OF THE INVENTIONA logic simulation computer with the improvement of a physical modelling device for the simulation of circuits containing real parts is described. In the following description, numerous specific details are set forth such as specific number of lines, etc., in order to provide a thorough understanding of the present invention. It will be obvious, however, to one skilled in the art that the present invention may be practiced without these specific details. In other instances, well-known circuits and structures have not been shown in detail in order not to unnecessarily ob scure the present invention.
Prior Art Logic SimulatorIt will be helpful to an understanding of the present invention to first describe a prior art log simulator. The present invention is used in conjunction with a simulator similar to this prior art simulator.
The prior art simulator is that which appears above the line 15 in Fig. 1 and is the subject of patent application 594, 533. Three nearly identical processors, the queue unit 11, the state unit 12, and the evaluation unit 13 are interconnected through uni-directional buses as shown.
All units are connected through a bus 14 (In thePreferred embodiment, an Intel (RTM) Multi-bus is used) and are controlled by a master computer 17 through a slave interface 16. The queue unit 11 stores the events which drive the algorithm used in this logic simulator, along with the delay times for the simulated gates and the like. The state unit 12 along with its memory contains the state at a particular time for each of the simuiated elements. The evaluation unit 13 along with its memory 19 stores the behavioral characteristics of the components in the systems being simulated, such as the truth tables for the individual gates. The queue unit 11, the state unit 12 and the evaluation unit 13 operate simultaneously utilizing a simulation algorithm applied to a software modelled circuit.
Overview of the Apparatus of the Present InventionReferring again to Fig. 1, that portion of the drawing situated below line 15 illustrates a block diagram of the present invention. The physical modelling device 20 consists of a static card 23 and a dynamic card 24. The part 25 being simulated is connected to a daughter board 21 which in turn is connected to the device 20 and acted on by the static card 23 or dynamic card 24 as required. The device 20 connects by means of a bi-directional bus 22 to the memorv bus 29 of evaluation unit 13. The static card 23 is used when the state of the part 25 does not decay over time. When the part 25 needs to be operated at a high rate of speed to be effective, the dynamic card 24 is utilized.
Description of Input VectorsThe input vectors are the stimuli which are presented to the part being modelled. The vectors contain information which will drive the part in a certain manner and each pin of a part is presented a series of input vectors. This series ol vectors defines the simulation run.
Whether operating in the dynamic or static mode, the function of the input vectors remains the same. Each input vector is generated as shown in Fig. 2. Each mark on the vector change line 28 represents a new vector. Each change in the clock 26 will require a new vectorAs seen by the marks above line 28, the vectors generated by the clock are periodic. Whenever data changes, as shown on data line 27, a new vector is generated. The data vectors, represented by the marks on the underside of line 28, are not periodic and can be generated at the same time as, or in between clock pulses. Because of this method, the rate of vector generation will never be slower than the slowest clock pulse and will often be faster. Once generated, the vector is presented to the part being modelled and that part's response to the vector is recorded.
Description of ChannelsThe dynamic card and static card consist of a number of channels. The channels provide information to the part and there is one channel for each logically active pin. As individual channel is illustrated in Fig. 10. (The letter "a" has been added to numbers of Fig. 4 and Fig: 5 is Fig.
10 to designate like elements). Each channel requires two bits, 45a and 46a with bit 46a containing the value (low or high) at which the part is to be driven and bit 45a determining if the pin is to be in tri-state or not. After passing through the tristatable driver 43a the information passes through a resistor 42a. This resistor performs two functions. First, it permits detection of conflicting drive when the part is both driving and being driven simultaneously. Second, it prevents damage to the driver and to the part when both are driving. The information is then presented to the pin on line 41a, interconnected to line 41a is tug voltage 49a. This connection is crucial to detection of the tristate mode. A voltage between the low voltage threshold and the high voltage threshold results when the part is not driving and the driver is tristated.
Input/Output MapEach pin has two bit positions, 0 and L, in the output sense field. The L bit is 1 if the voltage detected is higher than the low detection threshold. The 0 bit is 1 if the voltage detected is higher than the high detection threshold. A channel map 30 is illustrated in Fig. 3. As shown, if the 0 and L bit agree at a low value as in row 31 or a high value as is row 33 there is a valid signal of the indicated value of the pin connected to that channel. If the output values disagree as at row 32, and the input channel for that pin is tristated as at columns 35 and 36, that pin is in tristate. The situation presented at row 34 is an impossibility since the pin could not read higher than the highest detection voltage while being lower than the lowest detection voltage. Such a situation indicates a malfunction, probably in the detector. If the input for a channel is being driven and both outputs do not agree, then the part is disagreeing with the input drive. This channel map 30 is identical for the dynamic card and the static card.
Description of the Static CardAs shown in Fig. 8, the static card communicates with data bus 22 through the backplane bus conversion 81 and bus interface 82. The backplane bus conversion enables more than one static card to be employed in a simulation as well as allowing dynamic cards to be used, with information to the additional cards travelling on backplane bus 89. The bus interface is coupled t'o a control state machine 83 through multiple signal line 131, and by multiple signal line 80 to the channel drive unit 84 and detector unit 85. The control state machine 83 controls read and write cycles for the card and is connected through multiple signal line 132 to the channel drive unit 84 and detector unit 85.The channel drive unit 84 stores and then present the drive level for each channel on the static card. (One embodiment of the static card contains 156 channels). The channel drive unit present the drive levels to the daughter card 87 holding the parts through multiple signal line 88. The channel drive unit is shown in detail in Fig. 4. The detector unit (shown in detail in Fig. 5) receives the output from the part in the daughter board 87 through multiple signal line 88 and sends the information on line 80 to the bus interface and eventually to the evaluation unit. The reference block 86 is coupled to the channel unit 84 and detection unit 85 through line 133 and provides the high and low detection voltages along with the power and tug voltage.
Operation of the Dynamic CardThere is a class of components which do not function effectively unless operated at a minimum rate of speed. Additionally, there are parts with the disadvantage of being uninitializable, rendering their output nonrepeatable. The static card alone is insufficient as a method for modelling these parts as part of a logic simulation. The design features of the dynamic card, on the other hand, permit these parts to be utilized in simulation runs.
For parts which must be run at a high rate of speed, but whose states can be initialized, the dynamic card operates in the manner shown inFig. 7. As with the static card, input vectors are read one at a time from the evaluation unit, as shown in step 74.
The first vector is read and then is stored by the dynamic card as shown in step 75. As step 76, all stored vectors are presented to the part.
At this point, however, only the first vector has been stored by the dynamic card. After the first vector has been presented to the part, the output of the part is sensed in step 77. During step 78, the dynamic card checks its control register to see if this is the final vector to be presented to the part. In this case, the answer is no and the card returns to step 74, reading the second vector from the evaluation unit. After adding the vector to memory, the dynamic card at step 76 presents not only the second vector but the first and second vector to the part. The part's output after the second vector has been presented is sensed at step 77. This process repeats itself for all vectors 1 through n.When the nth vector is read from the evaluation unit and added to the previously read vectors, the dynamic card then presents all vectors 1 through n to the part, senses the output of the part after the nth vector at step 77 and because its control register now indicates the nth vector is the final vector, ends the simulation, step 79. In this manner, parts whose states decay over time can be utilized in a logic simulation. By reading all the vectors from the first vector to the vector being presented to the part at that particular time, the state of the part does not decay between vectors.
The dynamic card carries a v x 2 x n ram for input vectors where n is the number of logically active pins which can be driven by the card and v is the number of vectors supported by the card. The entire series of vectors is mapped in the evaluation unit address space, and can be read or written in arbitrary order. Like the static card, the dynamic card has one channel for each logically active pin.
A 24 bit word location on the dynamic card, known as the control register, is utilized as a write only location which chooses among several alternate operating modes available to a dynamic card, such as collective go, user strobe, and loop mode.
Each time the collective go word is written to, vectors are presented starting with the current starting address and ending at the vector marked as the end vector for that particular readthrough.
Because the collective go word is found at a standard location for all dynamic cards, several cards may be synchronized to drive devices requiring more channel resources than are present on one card. The collective go mode is incompatible with the loop mode, which will be described further below.
When the user strobe bit of the control register is active, vector readthrough and output sensing are under user control. During vector readthrough, each new vector will not be released to the part until the receipt of an external ready signal. Similarly, the output will not be sensed until a ready signal is received. This mode is utilized when interfacing with external physical devices with long response times.
When the loop mode is activated, the input vector ram cycles continuously from beginning to a point defined by an inner loop end bit. Simulation vectors begin at the end of the inner loop and continue to the last vector. The output is sensed, and the part again goes back to the inner loop. This mode is useful for preserving the state of devices which are uninitializable.
Description of Loop ModeThe loop mode is further explained by referring to Fig. 6. Loop mode consists of an inner loop 61 and an outer loop 63. The inner loop 61 is a set of vectors written prior to the simulation of the vectors being read. The inner loop 61 is created by the user for the particular part being modelled. The part is cycled continuously in the inner loop 61 until the simulation vectors are presented. The inner loop 61 is such that the state of the part when the simulation run begins is always the same. When the signal to run the simulation vectors is given, the part exits at the end of the inner loop, and all vectors in the outer loop 63 are then presented to the part.
The outer loop consists of the simulation vectors 64 and padding vectors 66. Included in the 24 bit words which control the last channels of the dynamic card are three bits, 0, I and S, which control the operation of the loop mode. The I bit defines the vector which represents the inner loop end bit. In loop mode, vectors are continuously presented to the part, starting at the begin ning location and ending with the inner loop end bit location. The 0 bit defines the outer loop end bit. After reading the vector containing the outer loop end bit, the card returns to the inner loop.
The S bit is the strobe bit, and the output of the part being modelled is sensed after the vector in which the S bit is one. The vectors up to and including the one containing the I bit will not change during loop mode, but the S bit will be moved to one higher vector after each simulation run. in order for the loop mode to be effective, the outer loop 63 must return the part at the inner loop initialization state 62 each time. Since the state of the part at vector n, which is the final vector of the simulation, may not be identical to that state, padding 66, a series of vectors not part of the simulation run is utilized to return the part to the proper state. The padding 66 is determined by the user prior to the simulation run.
In general several distinct padding sequences 66 may be needed. The evaluation unit chooses which padding sequence is required to restore the initial state, based on information from the simulation. The padding required is written imme- diately after the vector with the S-bit, before the dynamic card is instructed to leave the inner loop.
Description of Dynamic CardFigs. 9a and 9b illustrate a block diagram of the dynamic card. Address and data information enter the dynamic card on the backplane bus, shown separated as address bus 103 and data bus 104. The bus interface 91 also contains address latches. Input vectors travel data bus 106 to the vector RAM 94 of Fig. 9b. As each new vector is received by the dynamic card it is added to those vectors already stored in the ves tor RAM 94. The vector RAM 94 stores the vectors received from the evaluation unit and ca be accessed by address. When a go command received, all vectors stored in the RAM are presented to the channel drive 95 and thence to the part in a continuous stream. In loop mode, the vectors defining the inner loop are continuously presented to the channel drive 95.Control data travels along bus 105 to the control state machine 93. The control state machine, like its static card counterpart, controls read and write cycles under user control and processes other control information. Included in this information are the state of the S bit 71, the I bit 72 and the 0 bit 73. The control data travels on the card control bus 109 to the vector RAM 94. As shown, the states of the S, I and 0 bits are added to the vector information contained in the vector RAM. 94. For each vector, two bits of information travel to the channel drive unit 95 (shown in detail in Fig. 4), tristate information on line 111 and value data on line 112. The channel drive unit presents vectors to the modelled part contained in the daughter card 96. The state of each pin travels line 113 to the detector unit 102 (shown in detail in Fig. 5).The channel drive 95 and detector unit perform the identical functions in both the static and dynamic cards.
For the vector in which the S bit is 1, the output of the device is recorded and sent back to the bus interface on data bus 106. As with the static card, power and reference voltages are supplied by reference block 97. Information on the beginning address register is contained in beginning address register block 98. This information travels on line 119 to the vector ram 94 so that different vectors can be chosen as the beginning vector of a simulation run. In this manner, when a physical part is repeated several times in a circuit, a single part can be used for the modelling in each of the locations. When the part in the first location is being modelled, the vector run will begin at vector 0, when the part appears at another point in the circuit, the beginning address register will designated some other vector as the first vector in the run.Obviously, when operating in this manner, the total number of vectors that can be run for that particular part is reduced.
The board address block 92, is coupled to various units. This block compares the address of bus cycles to addresses on the card and generates select signals when the different resources of the card are addressed.
Channel Drive UnitThe channel drive unit is shown in Fig. 4. The input vector enters on the data bus 40 of Fig. 4.
The bits are required for each channel, and the two which exit flip-flop 44 on lines 45 and 46 will be traced through Figs. 4 and 5. The bit on line 45 indicates whether the pin driver on this channel is to be put in tristate or not, while bit 46 indicates whether the part is to be driven high or low. After passing throught the tristatable driver 43, the information travels on line 47 through a resistor 42. The channel 94 emerging from resistor 42 is interconnected with resistor 48 and tug voltage 49. Finally, through line 41, the channel 94 is connected to a pin and to the sensing unit, which is shown in Fig. 5.
Detector UnitThe Sensing unit, illustrated in Fig. 5, detects the output of the pin which is connected to channel 94. The output of the pin travels on line 41 to part 53. As shown, the output of channel 94 enters the quad differential line receiver 53 at point B- and D-. A low reference voltage 51 enters at D+ and a high reference voltage 52 atB+. line 58, emerging from the part 53 represents the L bit and line 57 the 0 bit. The output passes through flip-flop 54 and onto data bus 59 where it returns to the evaluation unit.
As described thus far, the channels of the static card and the dynamic card are identical, except the static card lacks flipflop 54. However, as shown in Fig. 4, the dynamic card also receives information concerning the S bit on line 71, the I bit on line 72, and the 0 bit on line 73. If the value of the S bit is 1, that particular vector is the final one in that run, and the value of the pins is to be sensed at the end of the vector. If the I bit has a value of 1, that vector represents the final vector in the inner loop. If the 0 bit has a value of 1, that vector represents the end of the outer loop. As seen in Fig. 5, theS, I and 0 bits travel on line 71, 72 and 73 respectively through the flip-flop 54 and onto the data bus 59 which leads to the evaluation unit.
Thus, a device has been described which allows physical components to be included as part of a design simulation. The unique structure of the channels along with the loop mode permit modelling of a wide range of parts in a highly efficient manner.

Claims (16)

1. A device for the modelling of a physical electrical component in an electrical logic simulation comprising:a connecting means for electrically coupling said component to a logic simulation computer;a plurality of channels coupled to said computer and said components for presenting data vectors to said component, said vectors compris ing information to stimulate said component; saic channels including a driving means for stimulating said component, and a detecting means for determining resulting output of said component;a memory means for storing said data vectors coupled to said channels and to said connecting means;a looping means coupled to said channels for continuous cycling of said vectors through said component;whereby said components can be utilized as part of a logic simulation without the need for software modelling.
6. A device for the modelling of a physical electrical component as part of an electrical logic simulation comprising:a logic simulation computer coupled to a first bus for implementing an event driven algorithm;a first means coupled to said first bus for modelling said component when said component's state does not decay over time, said first means receiving input vectors from said computer to present to said component;a second means for modelling said components when said component must be operated at a minimum rate in order to function properly and when said component is uninitializable, said second means including a memory means for receiving and storing said input vectors from said computer and presenting said vectors to said component in a continuous series;;said first and second means comprising a plurality of channels, said channels including a detecting means and a driving means, said driving means including a plurality of tristatable drivers;whereby said component can be utilized in a logic simulation without software modelling.
11. A device for the modelling of a physical electrical component as part of an electrical logic simulation comprising:a logic simulation computer, said computer including address space, said computer providing data vectors to be used to stimulate said component, said computer coupled to a first bus;a first and second means coupled to said first bus and to said components, said first and second means receiving said vectors from said computer and presenting said vectors to said component;said first and second means including a plurality of channels, said channels comprising a driving means and a detecting means;said second means including a memory means for storing a plurality of said vectors and a looping means for continuous cycling of said vectors through said component;whereby said component can be utilized in a logic simulation without software modelling.
15. The device as defined by Claim 14 wherein said second means includes:a bus interface coupled to said first bus, to said memory, to said detecting means and to a board address block, said board address block for comparing addresses of bus cycles to addresses in said memory;a control state machine coupled to said first bus, to said board address block, and to said memory, said control state machine controlling read and write cycles of said second means and controlling said looping mode;a beginning address register coupled to said memory, to said control state machine, and to said board address block; said beginning address register containing play back start location;a driving means coupled to said detecting means, to said memory, and to a connecting means for holding said component, said connecting means also coupled to said detecting unit;a reference block coupled to said detecting means and to said driving means, said reference block providing power and said first, second and third voltages.
GB08520915A1984-09-171985-08-21Physical modelling device for use with computer-aided designExpiredGB2164768B (en)

Applications Claiming Priority (1)

Application NumberPriority DateFiling DateTitle
US65142784A1984-09-171984-09-17

Publications (3)

Publication NumberPublication Date
GB8520915D0 GB8520915D0 (en)1985-09-25
GB2164768Atrue GB2164768A (en)1986-03-26
GB2164768B GB2164768B (en)1988-05-25

Family

ID=24612823

Family Applications (2)

Application NumberTitlePriority DateFiling Date
GB08520915AExpiredGB2164768B (en)1984-09-171985-08-21Physical modelling device for use with computer-aided design
GB08612548AExpiredGB2173930B (en)1984-09-171986-05-22Physical modelling device for use with computer-aided design

Family Applications After (1)

Application NumberTitlePriority DateFiling Date
GB08612548AExpiredGB2173930B (en)1984-09-171986-05-22Physical modelling device for use with computer-aided design

Country Status (4)

CountryLink
JP (1)JPS6172365A (en)
DE (1)DE3532484A1 (en)
FR (1)FR2570527B1 (en)
GB (2)GB2164768B (en)

Cited By (7)

* Cited by examiner, † Cited by third party
Publication numberPriority datePublication dateAssigneeTitle
US4744084A (en)1986-02-271988-05-10Mentor Graphics CorporationHardware modeling system and method for simulating portions of electrical circuits
US4821173A (en)*1986-06-301989-04-11Motorola, Inc.Wired "OR" bus evaluator for logic simulation
US4937827A (en)*1985-03-011990-06-26Mentor Graphics CorporationCircuit verification accessory
US5335191A (en)*1992-03-271994-08-02Cadence Design Systems, Inc.Method and means for communication between simulation engine and component models in a circuit simulator
US5353243A (en)*1989-05-311994-10-04Synopsys Inc.Hardware modeling system and method of use
GB2299185A (en)*1995-03-201996-09-25Fujitsu LtdSimulation apparatus
US5673295A (en)*1995-04-131997-09-30Synopsis, IncorporatedMethod and apparatus for generating and synchronizing a plurality of digital signals

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication numberPriority datePublication dateAssigneeTitle
US4998250A (en)*1988-09-081991-03-05Data I/O CorporationMethod and apparatus for determining an internal state of an electronic component

Citations (1)

* Cited by examiner, † Cited by third party
Publication numberPriority datePublication dateAssigneeTitle
EP0129017A2 (en)*1983-05-091984-12-27Valid Logic Systems, Inc.Method and apparatus for modeling systems of complex circuits

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication numberPriority datePublication dateAssigneeTitle
EP0129017A2 (en)*1983-05-091984-12-27Valid Logic Systems, Inc.Method and apparatus for modeling systems of complex circuits

Cited By (9)

* Cited by examiner, † Cited by third party
Publication numberPriority datePublication dateAssigneeTitle
US4937827A (en)*1985-03-011990-06-26Mentor Graphics CorporationCircuit verification accessory
US4744084A (en)1986-02-271988-05-10Mentor Graphics CorporationHardware modeling system and method for simulating portions of electrical circuits
US4821173A (en)*1986-06-301989-04-11Motorola, Inc.Wired "OR" bus evaluator for logic simulation
US5353243A (en)*1989-05-311994-10-04Synopsys Inc.Hardware modeling system and method of use
US5335191A (en)*1992-03-271994-08-02Cadence Design Systems, Inc.Method and means for communication between simulation engine and component models in a circuit simulator
GB2299185A (en)*1995-03-201996-09-25Fujitsu LtdSimulation apparatus
US5838593A (en)*1995-03-201998-11-17Fujitsu LimitedSimulation apparatus
GB2299185B (en)*1995-03-201999-09-08Fujitsu LtdSimulation apparatus
US5673295A (en)*1995-04-131997-09-30Synopsis, IncorporatedMethod and apparatus for generating and synchronizing a plurality of digital signals

Also Published As

Publication numberPublication date
GB8612548D0 (en)1986-07-02
GB2164768B (en)1988-05-25
GB2173930B (en)1988-05-25
GB2173930A (en)1986-10-22
JPS6172365A (en)1986-04-14
FR2570527A1 (en)1986-03-21
GB8520915D0 (en)1985-09-25
DE3532484A1 (en)1986-03-27
FR2570527B1 (en)1989-08-25

Similar Documents

PublicationPublication DateTitle
US8108729B2 (en)Memory-based trigger generation scheme in an emulation environment
US4327408A (en)Controller device with diagnostic capability for use in interfacing a central processing unit with a peripheral storage device
US5051938A (en)Simulation of selected logic circuit designs
CA1089031A (en)Level sensitive embedded array logic system
US4590581A (en)Method and apparatus for modeling systems of complex circuits
US5225772A (en)Automatic test equipment system using pin slice architecture
US4306286A (en)Logic simulation machine
US5946472A (en)Apparatus and method for performing behavioral modeling in hardware emulation and simulation environments
US5384720A (en)Logic circuit simulator and logic simulation method having reduced number of simulation events
US5715433A (en)Dynamic software model for emulating hardware
EP0077237B1 (en)Digital tester local memory data storage system
US5410547A (en)Video controller IC with built-in test circuit and method of testing
US8947954B2 (en)Random access memory for use in an emulation environment
EP0053665A1 (en)Testing embedded arrays in large scale integrated circuits
Jephson et al.A three-value computer design verification system
US4604746A (en)Testing and diagnostic device for digital computers
GB2164768A (en)Physical modelling device for use with computer-aided design
US4891773A (en)Logic simulation
Wilcox et al.F/LOGIC-An interactive fault and logic simulator for digital circuits
US6339753B1 (en)Method and system for emulating computer-controlled apparatus
Hirschhorn et al.Functional level simulation in FANSIM3-algorithms, data structures and results
US4856001A (en)Digital in-circuit tester having channel-memory earse-preventer
EP0450837A2 (en)Logic simulation
Shankar et al.A CAD-Based course for design of digital systems: Details of a tutorial example
JPS59191656A (en)Memory ic simulator

Legal Events

DateCodeTitleDescription
PE20Patent expired after termination of 20 years

Effective date:20050820


[8]ページ先頭

©2009-2025 Movatter.jp