CN104462693B - One kind builds 1394 link-level transactions level model based on UVM - Google Patents
One kind builds 1394 link-level transactions level model based on UVM Download PDFInfo
- Publication number
- CN104462693B CN104462693B CN201410753512.5A CN201410753512A CN104462693B CN 104462693 B CN104462693 B CN 104462693B CN 201410753512 A CN201410753512 A CN 201410753512A CN 104462693 B CN104462693 B CN 104462693B
- Authority
- CN
- China
- Prior art keywords
- link layer
- model
- link
- packet
- request
- 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.)
- Active
Links
Landscapes
- Data Exchanges In Wide-Area Networks (AREA)
- Computer And Data Communications (AREA)
Abstract
Present invention offer is a kind of to build 1394 link-level transactions level model based on UVM, the modeling provides very easily control interface, makes user of service's various scenes that easily simplation verification is designed.1394 link-level transactions level model should be built based on UVM includes link layer request model, link layer data bag model, application layer packet model, link layer monitoring model, global configuration table；When being based on UVM structure 1394 link-level transactions level models using this, the checking personnel of 1394 link layers and application layer can separate work and be independent of each other, and with good reusability, significantly reduce the workload of checking personnel, accelerate the progress of chip checking.
Description
Technical field
The invention belongs to SoC chip design verification technical field, it is related to a kind of transaction-level modeling of layered protocol, particularly
It is related to a kind of based on UVM structure 1394 link-level transactions level models.
Background technology
IEEE-1394 agreements are the agreements of layering, application layer, link layer, physical layer are divided into from top to bottom, based on the association
View is developed during different 1394 family chips, and the checking of 1394 physical chips needs to develop 1394 link layer models and 1394
Bus network topology model, 1394 link layer models and physical layer model can set up 1394 various bus network topologies, this
The realization of outer different application layer protocol requires different application layer models, and exploitation layered protocol model can be 1394 links
The verification environment of layer, application layer chip, the SoC chip of integrated 1394 dedicated engine etc. is multiplexed, therefore, and product development early stage opens
The transaction-level model that hair meets 1394 link layer protocols is very important.
When transaction-level excitation is provided as a part for chip checking environment using transaction-level model, in order to be able to verify that more
Many function points, can cover more codes and function as far as possible, generally require to produce substantial amounts of effective checking activation sequence, adopt
During with the 1394 link layer model built based on verilog methods, often link layer and application layer model thereon are realized together,
When so different agreement checking personnel change the configuration or excitation of oneself, link layer or application layer, and this mould are easily had influence on
Multiple activation sequences that type is provided are separate, it is impossible to reused on sequence basis has been verified and form new checking, no
Can good combination it is existing it is multiple checking sequences and form new checking sequence, while to verify sequence random constraints have one
Fixed limitation, more essence is needed when so verifying the model of this method exploitation of librarian use and writing checking activation sequence
Power and time.
The content of the invention
In order to solve problem present in background technology, the present invention provides a kind of based on UVM 1394 link-level transactions of structure
Level model method, this method provide very easily control interface, make user of service easily simplation verification design
Various scenes.
The present invention solution be：
Should based on UVM build 1394 link-level transactions level model include link layer request model, link layer data bag model,
Application layer packet model, link layer monitoring model, global configuration table；
The link layer request model is used for the request for realizing 1394 link layers, and can send different ask according to configuration
Ask；The link layer data bag model is used to realize the various types of packets of 1394 link layers, and can be sent not according to configuration
Same packet；The application layer packet model is used for the various types of data for realizing application layer AS5643 protocol definitions
Bag, and different packets can be sent according to configuration；The link layer monitoring model, connects for collecting and analyzing PHY-LINK
The data of all transmission of mouth；The partial data that the global configuration table defines the event of link layer monitoring model triggering and collected
Prototype, and for controlling link layer data bag model or application layer packet model to produce specific activation sequence；
When user uses the model transmission link layer data bag, start link layer request model first, by link layer request
Model sends request signal to physical layer model, and when sending request signal, link layer monitoring model monitors the signal and recorded, thing
Reason layer model is received to be arbitrated after request signal, and authorization message is fed back into PHY-link interfaces, while link layer is supervised
Model record authorization message is controlled, and triggers the mandate event defined in global configuration table, when link layer data bag Model Monitoring is arrived
During mandate event, authorization message is matched with the request signal that link layer monitoring model is recorded, if authorization message is matched
Success, then link layer data bag model is to physical layer transmission packet, while the packet is collected to counter；Packet is received
Collection can specifically be sent to counter using link layer data bag model to counter, or link layer monitoring model is sent out to counter
Send；
When user sends application layer packet using the model, start link layer request model first, by link layer request
Model sends request signal to physical layer model, and when sending request signal, link layer monitoring model monitors the signal and recorded, thing
Reason layer model is received to be arbitrated after request signal, and authorization message is fed back into PHY-link interfaces, while link layer is supervised
Model record authorization message is controlled, and triggers the mandate event defined in global configuration table, when application layer packet Model Monitoring is arrived
During mandate event, authorization message is matched with the request signal that link layer monitoring model is recorded, if authorization message is matched
Success, then application layer packet model send data packets to link layer data bag model, then from link layer data bag model to
Physical layer sends packet；The packet is collected to counter simultaneously；
When user uses the model received data packet, link layer monitoring model is collected by PHY-link interfaces and comes from physics
All data messages of layer are simultaneously parsed, and the packet after parsing is verified, and are verified correct packet and are transmitted, send
Preceding carry out object judgement, judges that the packet should be sent to application layer or link layer, is sent after the completion of judgement.
Above-mentioned link layer request model includes link layer request sequence, link layer request unit, link layer request passage, chain
Road floor request driving and link layer request interface；When starting link layer request sequence, link layer request passage please by link layer
The link layer request unit for asking sequence to include is sent to link layer request driving, extracts the parameter number in link layer request unit
According to the sequential format according to link layer request type sends request signal to physical layer through link layer request interface.
Above-mentioned link layer data bag model includes link layer data packet sequence, link layer data bag unit, link layer data
Bag passage, link layer data Packet driven and link layer data packet interface；When starting link layer data packet sequence, link layer data
Bag passage sends the link layer data bag unit that link layer data packet sequence is included to link layer data Packet driven, extracts link
Parameter in layer data bag unit is simultaneously packed according to type of data packet, by the form of link layer data bag transmission timing by number
Sent according to bag through link layer data packet interface to physical layer.
Above-mentioned application layer packet model includes application layer data packet sequence, application layer packet unit, application layer data
Bag passage, pseudo-random data Channel generator, application layer monitoring module；When starting application layer data packet sequence, using the number of plies
The application layer packet unit that application layer data packet sequence is included is sent to pseudo-random data Channel generator according to bag passage, it is pseudo-
Random data Channel generator receives application layer packet from application layer packet unit channel and sends the packet to chain
Road layer data model；Application layer monitoring module is used to receive the packet information from link layer monitoring model.
The advantage of the invention is that：
1394 link-level transactions level model should be built based on UVM by realizing link layer request model, the link number of plies respectively
According to bag model, application layer packet model, link layer monitoring model and global configuration table, the complete link layer of simulation 1394 of energy
Behavior.
This based on UVM build 1394 link-level transactions level link layer request model of model, link layer data bag model, should
Basic activation sequence is each provided with layer data bag model, the activation sequence has inheritance and flexible random constraints,
Original random sequence can be reused and form new random sequence, multiple arbitrary excitation sequences can be constituted to new stratified random
Activation sequence, can reuse original excitation scene and constitute new excitation scene.
Meanwhile, when application should build 1394 link-level transactions level model based on UVM, the checking of 1394 link layers and application layer
Personnel can separate work and be independent of each other, and with good reusability, significantly reduce the workload of checking personnel, accelerate core
The progress of piece checking.
Brief description of the drawings
Fig. 1 is 1394 link layers and application layer transaction-level model structure block diagram for supporting layered protocol；
Fig. 2 is 1394 link layer request model structure block diagrams；
Fig. 3 is 1394 link layer data bag model structure block diagrams；
Fig. 4 is the application layer packet model structure block diagram for supporting AS5643 agreements；
Fig. 5 is the 1394 link-level transactions level model detailed construction schematic diagram built based on UVM.
Embodiment
Should based on UVM build 1394 link-level transactions level model include link layer request model, link layer data bag model,
Application layer packet model, global configuration table and link layer monitoring model；Wherein,
Link layer request model is used to realize the various types of requests of 1394 link layers, and can send different according to configuration
Request；
Link layer data bag model is used to realize the various types of packets of 1394 link layers, and can be sent according to configuration
Different packets；
The partial data prototype that global configuration table defines the event of link layer monitoring model triggering and collected, and for controlling
Link layer data bag model or application layer packet model processed produce specific activation sequence；
Link layer monitoring model is used for the data for collecting and analyzing all transmission of PHY-LINK interfaces；Application layer packet mould
Type is used for the various types of packets for realizing application layer AS5643 protocol definitions, and can send different data according to configuration
Bag.
Link layer request model is a kind of structure of layering, and top-down order includes link layer request sequence, link layer
Request unit, link layer request unit channel, link layer request driving, link layer request interface；Wherein link layer request sequence
For the carrier of link layer model transmission link layer request unit, the sequence constrains link layer request unit by 1394 link layer protocols
Value, be transmission link layer request elementary cell, all link layer requests all by its extend；Link layer request unit is used for real
The parameter of existing 1394 link layer requests, is that link layer request sequence will constrain the core data of transmission；Link layer request unit leads to
Road, for the link layer request included in link layer request sequence unit is sent into link layer request driving；
The link layer request unit that link layer request driving is used for constantly obtaining from link layer request unit channel is converted
The clock signal asked into PHY-LINK interface link-layers is sent；
Link layer request interface is link layer request model and physical layer model or thing with standard PHY-LINK interfaces
The interface that reason layer design is connected.
Link layer data bag model is also a kind of structure of layering, top-down order include link layer data packet sequence,
Link layer data bag unit, link layer data bag passage, link layer data Packet driven, link layer data packet interface, wherein,
Link layer data packet sequence is the carrier of link layer model transmission link layer data bag unit, and the sequence presses 1394 chains
Road layer protocol constrains the value of link layer data bag unit, so that different link layer data bags are constituted, all link layer data bags
All should be by its extension；
Link layer data bag unit is used to realize the 1394 link layer data bag parts that 1394 link layer protocols are defined,
It is that link layer data bag will constrain the core data of transmission；
Link layer data bag unit channel is used for sending out the link layer data bag unit included in link layer data packet sequence
It is sent to link layer data Packet driven；
Link layer data Packet driven is used for turning the link layer data bag unit obtained from link layer data bag unit channel
The clock signal of chemical conversion 1394PHY-LINK interface data bags is sent；
Link layer data packet interface is link layer data bag model and connecing that physical layer model or physical layer design are connected
Mouthful.
Application layer packet model is also a kind of structure of layering, top-down order include application layer data packet sequence,
Application layer packet unit, application layer packet passage, pseudo-random data Channel generator；Wherein,
Application layer data packet sequence is the carrier that application layer model sends application layer packet unit, and the sequence presses AS5643
Protocol STOF bags or asynchronous flow bag；
Application layer packet unit is used to realize the STOF bags of AS5643 protocol definitions or the ginseng of asynchronous flow bag part
Manifold is closed, and is the core data that application layer data packet sequence offer beam is sent；
Application layer packet unit channel is used for sending out the application layer packet unit included in application layer data packet sequence
It is sent to pseudo-random data Channel generator；
Pseudo-random data Channel generator, for receiving STOF bags or asynchronous flow bag from application layer packet unit channel,
And transfer it to 1394 link layer data bag models.
Below in conjunction with the accompanying drawings and specific embodiment, technical scheme is clearly and completely stated.Obviously,
The embodiment stated only is a part of embodiment of the invention, rather than whole embodiments, based on the embodiment in the present invention,
Those skilled in the art are not making the every other embodiment that creative work premise is obtained, and belong to the guarantor of the present invention
Protect scope.
As shown in figure 1, link layer request model and link layer data bag model can send link layer request and link respectively
Layer data bag, the link layer mode of operation and the transmission speed of packet that both configure must be matched, and global configuration table is defined
Data type and event are used for controlling link layer request model and link layer data bag model to produce specific activation sequence,
1394 link-level transactions level model in any one component can obtain global configuration table, the event that global configuration table is defined and
Partial data is triggered and collected by link layer monitoring model, and link layer monitoring model is collected the data sent and come from PHY receptions
Data, and by the partial data of collection and triggering event be stored in global configuration table, the correct data bag of collection is complete
Be sent to score board component and application layer packet model, application layer packet model can send the data that AS5643 is defined
Bag, the packet is first sent to link layer data bag model, is then sent to physical layer by link layer data bag model or sets
Meter；
Link layer request model, the request type of the various packets of 1394 link layers is sent for realizing, to obtain 1394
The mandate of bus；Link layer data bag model be used for realize the different types of data bag that 1394 link layer protocols are defined transmission,
CRC calculating, injection of mistake etc.；Application layer packet model is used for the different types of data bag for realizing AS5643 protocol definitions
Transmission, such as send STOF bags and asynchronous flow bag.
Global configuration table is used to control link layer data bag model or application layer packet model to produce specific excitation sequence
Row, such as link layer data bag model or application layer packet model are waited to be started to send packet or due to CRC after mandate event
Error event and stop sending packet etc.；
Link layer monitoring model is used for all events for monitoring the generation of PHY-LINK interfaces, collects all numbers from PHY
According to, collect send ask summed data package informatin, and by the data packet broadcast from PHY to board component or the application layer data of scoring
Bag model, realizes cyclemaster synchronizing functions that 1394 link layer protocols are defined etc.；
PHY is physical layer design or physical layer model.PHY-LINK interfaces are the interface of physical layer and link layer.Scoreboard
When component is using 1394 link-level transactions level model, the basic composition part of verification environment, for carrying out platform data operation
Validity checking.
The component, is any one part of 1394 link-level transactions level model.
UVM (UniversalVerificationMethodology) is the professional standard of SoC chip verification methodology, mesh
The preceding standardization effort for carrying out IEEE, it provides a set of class libraries based on systemverilog increased income, it is therefore an objective to just
The design carried out in the reusable of verification environment and transplanting, the present invention based on its class libraries.
As shown in Fig. 2 the link layer request model in present embodiment, is a kind of structure of layering, including：
Link layer request sequence, derived class uvm_sequence characteristic, it defines according to 1394 link layer protocols and constrained
Corresponding link layer request unit and realize different activation sequences, different activation sequences are arbitrated by link layer request passage
Afterwards, link layer request driving is sent to, so as to realize the injection of excitation, arbitration mechanism is uvm_sequencer embedded characteristic,
The sequence is the elementary cell of transmission link layer request, and all link layer requests are all extended by it；
Link layer request unit, derived class uvm_sequence_item, it meets IEEE-1394-2008 agreements on chain
The definition of road floor required parameter, includes pattern (enumeration type is worth for alpha or beta), the alpha request classes of link work
Type (enumeration pattern, be worth for IMMREQ immediately, etc. when ISOREQ, priority P RIREQ etc.), beta request types (enumeration pattern,
Be worth to ask strange interval request PH_NEXT_EVEN of PH_IMMED_REQ, next time etc. immediately), request speed, register address, post
Latch data, the form (beta or alpha) of request, cascade of request etc.；
Link layer request passage, derived class uvm_sequencer characteristic sends request letter when there is link layer request sequence
During breath, it is provided is sent to link layer request driving passage by the link layer request unit of the generation with Constrained at random, is
All link layer request sequences will constrain the core data of transmission；
Link layer request drive, derived class uvm_driver characteristic, its realize IEEE-1394-2008 agreements on
Alpha and beta that link layer is sent ask the driving task of sequential, are determined by the link layer request cell parameters constantly obtained
Surely alpha or beta requests are initiated；
Link layer request interface, is made up of PHY-LINK interface signals Lreq and physical layer clocks Sclk signals, is responsible for chain
Connection between road floor request model and PHY-LINK interfaces；
Link layer request model described in above-described embodiment, can simulate the work(that the request and request of transmission link layer are cancelled
Can, and other Model Independents, use and be independent of each other.
As shown in figure 3, the link layer data bag model in present embodiment, is a kind of structure of layering, including：
Link layer data bag unit, derived class uvm_sequence_item characteristic, according to IEEE-1394-2008 agreements
Data packet group is defined into structure, include asynchronous bag, asynchronous flow bag, etc. when bag, cycle_start bags, ack bags, phy bags
Constitute position section, crc etc. and inject error mechanism, with the type of enumeration type definition packet, transmission speed and sending mode, according to
The type of bag rebuilds bag, and calculates crc, the embedded do_pack of uvm is then realized again, do_unpack functions will not
Dynamic array of bit wide 8 etc. is packaged into packet.
Link layer data bag passage, derived class uvm_sequencer, it provides the link that will be randomly generated with Constrained
Layer data bag unit is sent to the passage of link layer data Packet driven.
Link layer data Packet driven, derived class uvm_driver characteristic, by constantly obtaining link layer data bag unit,
Alpha the and beta sequential sent by IEEE-1394-2008 link layer protocol datas bag sends packet.
Link layer data packet interface, is made up of PHY-LINK interface signals and physical layer clocks Sclk signals.
Link layer data packet sequence, derived class uvm_sequence characteristic, by IEEE-1394-2008 link layer protocols
The packet of definition sends and receives flow and carrys out sending and receiving for analogue data bag, and link layer monitoring module can be made full use of to supervise
The bus message controlled carrys out the transmitting-receiving of control data bag.
Above-described embodiment link layer data bag model can accurately under the various constraintss of analog link layer packet
Transmission behavior, with the addition of error injection function in addition, such as produces the packet of crc error, produces data length and payload
There is provided very for inconsistent packet, the deficiency of data bag for producing burst, ack bags, the PHY bags for producing check errors etc.
Convenient control interface, makes user of service's various scenes that easily simplation verification is designed.
As shown in figure 4, the application layer packet model in present embodiment, is a kind of structure of layering, including：
Application layer packet activation sequence, derived class uvm_sequence characteristic, for realizing AS5643 protocol definitions
STOF bags and asynchronous flow bag, the part of bag can constrain by model user；
Application-level request unit, derived class uvm_sequence_item realizes AS5643 protocol defining datas bag composition
Part, includes position section Datalength, tag, channel of the STOF that define of AS5643 and asynchronous flow bag, Tcode, Sy,
MessageID, NodeID, CCBranchStatus, Priority, MessagePayloadDataLength,
HealthStatusWord, Hearbeat, MessageData, STOFTransmitOffset, VPC etc..
Application layer packet passage, derived class uvm_sequencer, it provides the application that will be randomly generated with Constrained
Layer data bag unit is sent to pseudo-random data Channel generator；
Pseudo-random data Channel generator, for the AS5643 data sent to be forwarded a packet into 1394 link layer passages, its
Derived class uvm_sequence, needs to declare a general packet passage in the generator, obtains and apply from the passage
Link layer request unit, such application layer data are given in layer request unit, the data constraint for then defining application-level request unit
Bag just can be sent to link layer, realize that such a mechanism key is the logical of application layer packet passage and link layer data bag
The pull patterns that all models and its component are defined with UVM in the interconnection in road, the design are interconnected, and link layer data bag leads to
Road is interconnected using port uvm_seq_item_pull_port method with application layer packet passage；
Application layer monitoring module, for receiving and analyzing the STOF bags from link layer monitoring model, asynchronous flow bag, STOF
Transmission event, STOF reception events etc.；
This application layer model, can make the checking personnel of 1394 link layers and AS5643 agreements separately work and mutual not shadow
Ring, actually can not only support AS5643 agreements using the framework of layer model, somewhat changing can just support that OHCI etc. is other
Application layer protocol, it is easy to transplant, it can be as the excitation model of different series chip checking environment in module level, system-level
Multiplexing, therefore the model structure of this protocol hierarchy has good reusability.
As shown in Figure 1 and Figure 5, the global configuration table in present embodiment, its define as request type, speed, ack codes,
The structure of authorization type, grant format, bus state, PHY-LINK Interface status, current phase, cycle_master types etc.
Body, enumeration type, define event, and such as request sends ack bags event, receives or send between cycle_start bags event, sub- business
Event, actively or passively physical layer interrupt event, transmission phy register values are authorized every event, arbitration reseting interval event, phy
Event, request cancellation event etc., integer value can be defined, the physical_id of such as node, whether bus_id, link layer, which have, is filled
Divide buffer resource resource_avail, crc error count etc..
This global allocation list, can obtain in the activation sequence of extension, be easy to use, and locating events are accurate
Really, the behavior of 1394 link layers of simulation can accurately be controlled；
As shown in Figure 1 and Figure 5, the link layer monitoring model in present embodiment, realizes that link layer needs the content monitored,
The partial event of link layer monitoring model triggering and the data collected are added in global configuration table, link layer monitoring model prison
The affairs of control include：
A) monitor and record link layer request model and be operated in all requests sent under alpha and beta patterns respectively
Information, includes the type of request, the speed of request, the form of request, the address of register request and data, while trigger request
Beginning and end event, during alpha patterns, triggering Asynchronous Request, etc. when request, immediately request, priority request send event,
During beta patterns, triggering immediately, NEXT_ODD or NEXT_EVEN, etc. when odd even phase request, register read-write requests,
Cycle_start odd evens phase asks, receives cycle_start bags, sends cycle_start_due event etc.；
B) monitoring link layer model and request phase relation of the physical layer model under beta patterns；
C) situation that monitoring request is cancelled is synchronous with physical layer to realize, such as controlling bus resets or PHY-LINK interfaces
Reset come trigger request cancel event, when 1394 link layer Model Monitorings are to this event, wait bus reset terminate or
After the completion of PHY-LINK interfaces reset, the request of packet is initiated again again；
D) more_info information carries out the cascade of packet transmission under monitoring beta patterns；
E) request type and velocity encoded cine situation of monitoring cascade bag；
F) by receiving cycle_start bags, and the correctness of its CRC data is verified, to monitor current ink layer model
Affairs when currently processed is asynchronous transaction or waits, so that the stream bag that the docking of 1394 link layer models is received makes a distinction；
G) PHY-LINK interface initialization states are monitored；
H) the hold_cycle length of monitoring transmission bag；
I) monitor and record Link and be currently at the states such as reception, transmission, mandate, holding, free time, monitor and record beta
Pint information etc.；
J) type and speed that current beta is authorized are monitored and record, by link layer data bag or application layer packet model
To decide whether to send current packet, i.e., the solicited message that current authorization message is sent with link layer model must phase
Match somebody with somebody；
K) status information and bus state of the monitoring from physical layer, such as interruption of the processing from PHY, register is actively passed
It is defeated, bus be currently at sub- business interval or arbitration reseting interval, etc. when odd even phase etc.；
L) the cyclesync event models of IEEE-1394-2008 protocol definitions are realized, when timing reaches 125us, hair
Go out cyclestart and send event, for controlling when send cyle_start bags when link layer model is cyle_master；
M) the STOF bag transmission frequency event models of AS5643 protocol definitions are realized, when timing reaches STOF bandwidth or transmission
During frequency, stofstart events are sent, the event is used for the frequency for controlling application layer model to send STOF bags；
N) link layer state machines of protocol definition are realized, the state machine can be used for statistics to use the jump of various conditions during model
Turn, completeness encouraged etc. is triggered using model to check.
O) monitor and record the current velocity encoded cine for receiving bag；
P) all packets that monitoring and record analysis are received, if receiving two words, analysis judgement is that PHY bags are gone back
It is that load is 0 stream bag, if PHY bags, checks whether the first character and second word of PHY bags are anti-each other, stream bag will
Head CRC is checked, if greater than two words, checks whether are bus_id, physical_id and the head of packet and data crc
Correctly, to the correct bag of CRC check, being packaged into link layer data bag unit and being sent to by Broadcast Port needs to handle the data
Other components of bag, are such as sent to the board component of scoring outside application layer monitoring module or model；
Link layer monitoring model monitors the data of PHY-LINK interfaces transmission, and the event produced in real time, can accurately reflect
The working condition of link layer, in addition in the platform using this model, the thing that the data of all collections and triggering can be produced
Part is printed, and facilitates debugging to use.
The interconnecting relation that each component of link-level transaction level model is detailed is shown in Fig. 5, wherein the part for being filled with grey is
Using layer model.
The application method of embodiment link-level transaction level model is detailed further below：
, it is necessary to which extending uvm_test classes comes real when using above-mentioned link-level transaction level model as the component of verification environment
The excitation specified now is injected to PHY, the event of link layer monitoring model triggering or the data of collection are such as obtained from global configuration table,
To control link layer request sequence or link layer data packet sequence, when only sending request, extend link layer request sequence, it is random or
The parameter of controlled constraint request type, then by the link layer request channel start sequence, you can the request of needs is sent out
It is sent to physical layer.
When transmission link layer data bag, extension link layer request sequence and link layer data packet sequence, request mode
(alpha or beta) and speed must match, request send after, using link layer monitoring model obtain authorization message come
Current link layer data bag is sent, the transmission of link layer data bag needs to start link layer data bag passage, so that by link
Layer data bag is sent to PHY.
When sending application layer AS5643 packets, it is necessary to the packet passage that pseudo-random data Channel generator is declared
Application layer packet passage is pointed to, step is as follows：
A) link layer request sequence, transmission link layer request are started；
B) PHY authorization message is judged using link layer monitoring model；
C) start application layer data packet sequence, by application layer packet passage, STOF packets or asynchronous flow bag are sent out
It is sent to pseudo-random data Channel generator, it is desirable to which the pattern (alpha or beta) and speed of application layer data packet sequence must be with
Currently transmitted request matches；
D) start pseudo-random data Channel generator, the application layer packet of reception is first sent to link layer data Bao Mo
Type, is then sent to physical layer design or model by link layer data bag model.
Based on the link layer request sequence that uvm_sequence is integrated and produces, link layer data packet sequence, using the number of plies
There is inheritance according to packet sequence, and all parameters are realized with flexible systemverilog constraint, so can by it is multiple with
What machine activation sequence was layered constitutes new arbitrary excitation sequence, and the transmission wrapped when such as uses and sends swashing for cycle_start bags
Encourage sequence to wrap when to send first etc. in the form of cascading, ask, obtain when and then using link layer request sequence transmission etc.
PHY is wrapped when sending second etc. after authorizing, while send cycle_start_due requests etc. to PHY and constitute new excitation,
Therefore it is easy to the behavior of analog link layer and produces substantial amounts of activation sequence, different excitation scenes can also be multiplexed, and this can
To simplify the workload of checking personnel.
The present invention by realizing link layer request model, link layer data bag model, application layer packet model, chain respectively
Road floor monitoring model and global configuration table, the behavior of the complete link layer of simulation 1394 of energy, link layer request model, the link number of plies
Basic activation sequence is each provided with according to bag model, application layer packet model, the activation sequence has inheritance and flexible
Random constraints, can reuse original random sequence and form new random sequence, can constitute multiple arbitrary excitation sequences
New stratified random activation sequence, can reuse original excitation scene and constitute new excitation scene, in addition, 1394 link layers
Work can be separated with the checking personnel of application layer and is independent of each other, and the model structure of this layering has good reusability,
The workload of checking personnel is significantly reduced, accelerates the progress of chip checking.
Finally it should be noted that the above embodiments are merely illustrative of the technical solutions of the present invention, rather than its limitations；Although
The present invention is described in detail with reference to the foregoing embodiments, it will be understood by those within the art that；It still may be used
To be modified to the technical scheme that foregoing embodiments are recorded, or equivalent substitution is carried out to which part technical characteristic；And
These modifications are replaced, and the essence of appropriate technical solution is departed from the spirit and model of various embodiments of the present invention technical scheme
Enclose.
Claims (4)
1. a kind of method that 1394 link-level transactions level model is built based on UVM, it is characterised in that：1394 link-level transactions level mould
Type includes link layer request model, link layer data bag model, application layer packet model, link layer monitoring model, the overall situation and matched somebody with somebody
Put table；
The link layer request model is used for the request for realizing 1394 link layers, and can send different requests according to configuration；Institute
Stating link layer data bag model is used to realize the various types of packets of 1394 link layers, and can be sent different according to configuration
Packet；The application layer packet model is used for the various types of packets for realizing application layer AS5643 protocol definitions, and
Different packets can be sent according to configuration；The link layer monitoring model, owns for collecting and analyzing PHY-LINK interfaces
The data of transmission；The partial data prototype that the global configuration table defines the event of link layer monitoring model triggering and collected,
And for controlling link layer data bag model or application layer packet model to produce specific activation sequence；
When user uses the model transmission link layer data bag, start link layer request model first, by link layer request model
Request signal is sent to physical layer model, when sending request signal, link layer monitoring model monitors the signal and recorded, physical layer
Model is received and arbitrated after request signal, and authorization message is fed back into PHY-link interfaces, while link layer monitors mould
Type records authorization message, and triggers the mandate event defined in global configuration table, when link layer data bag Model Monitoring to mandate
During event, authorization message is matched with the request signal that link layer monitoring model is recorded, if the match is successful for authorization message,
Then link layer data bag model sends packet to physical layer, while the packet is collected to counter；Packet collect to
Counter can specifically be sent using link layer data bag model to counter, or link layer monitoring model is sent to counter；
When user sends application layer packet using the model, start link layer request model first, by link layer request model
Request signal is sent to physical layer model, when sending request signal, link layer monitoring model monitors the signal and recorded, physical layer
Model is received and arbitrated after request signal, and authorization message is fed back into PHY-link interfaces, while link layer monitors mould
Type records authorization message, and triggers the mandate event defined in global configuration table, when application layer packet Model Monitoring to mandate
During event, authorization message is matched with the request signal that link layer monitoring model is recorded, if the match is successful for authorization message,
Then application layer packet model sends data packets to link layer data bag model, then from link layer data bag model to physical layer
Send packet；The packet is collected to counter simultaneously；
When user uses the model received data packet, link layer monitoring model is collected from physical layer by PHY-link interfaces
All data messages are simultaneously parsed, and the packet after parsing is verified, and are transmitted correct packet is verified, and are sent
Preceding carry out object judgement, judges that the packet should be sent to application layer or link layer, is sent after the completion of judgement.
2. the method according to claim 1 that 1394 link-level transactions level model is built based on UVM, it is characterised in that：Institute
Link layer request model is stated to drive including link layer request sequence, link layer request unit, link layer request passage, link layer request
Dynamic and link layer request interface；When starting link layer request sequence, link layer request passage includes link layer request sequence
Link layer request unit send to link layer request driving, the supplemental characteristic in link layer request unit is extracted, according to link
The sequential format of layer request type sends request signal to physical layer through link layer request interface.
3. the method according to claim 1 that 1394 link-level transactions level model is built based on UVM, it is characterised in that：Institute
Stating link layer data bag model includes link layer data packet sequence, link layer data bag unit, link layer data bag passage, link
Layer data Packet driven and link layer data packet interface；When starting link layer data packet sequence, link layer data bag passage is by chain
The link layer data bag unit that road layer data packet sequence is included is sent to link layer data Packet driven, extracts link layer data Bao Dan
Parameter in member is simultaneously packed according to type of data packet, by the form of link layer data bag transmission timing by packet through link
Layer data packet interface is sent to physical layer.
4. the method according to claim 1 that 1394 link-level transactions level model is built based on UVM, it is characterised in that：Institute
State application layer packet model including application layer data packet sequence, application layer packet unit, application layer packet passage, it is pseudo- with
Machine data channel generator, application layer monitoring module；When starting application layer data packet sequence, application layer packet passage should
The application layer packet unit included with layer data packet sequence is sent to pseudo-random data Channel generator, pseudo-random data passage
Generator receives application layer packet from application layer packet unit channel and sends the packet to link layer data Bao Mo
Type；Application layer monitoring module is used to receive the packet information from link layer monitoring model.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201410753512.5A CN104462693B (en) | 2014-12-09 | 2014-12-09 | One kind builds 1394 link-level transactions level model based on UVM |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201410753512.5A CN104462693B (en) | 2014-12-09 | 2014-12-09 | One kind builds 1394 link-level transactions level model based on UVM |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN104462693A CN104462693A (en) | 2015-03-25 |
| CN104462693B true CN104462693B (en) | 2017-10-20 |
Family
ID=52908723
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201410753512.5A Active CN104462693B (en) | 2014-12-09 | 2014-12-09 | One kind builds 1394 link-level transactions level model based on UVM |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN104462693B (en) |
Families Citing this family (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106484583A (en) * | 2016-10-12 | 2017-03-08 | 郑州云海信息技术有限公司 | A kind of UPI protocol model link layer module checking system based on UVM verification platform |
| CN106991213A (en) * | 2017-03-09 | 2017-07-28 | 记忆科技(深圳)有限公司 | A kind of method for the interaction mechanism for realizing SoC checkings |
| CN112312369B (en) * | 2020-09-29 | 2023-10-27 | 无锡中感微电子股份有限公司 | Low-delay wireless audio sending and receiving method and equipment |
| CN112749523A (en) * | 2021-01-14 | 2021-05-04 | 中山大学 | Verification platform and method of image reconstruction module based on UVM |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103530211A (en) * | 2013-10-12 | 2014-01-22 | 江苏华丽网络工程有限公司 | PCIE loop back self-test method based on UVM platform |
| CN103530216A (en) * | 2013-10-12 | 2014-01-22 | 江苏华丽网络工程有限公司 | PCIE verification method based on UVM |
| CN104065486A (en) * | 2014-07-04 | 2014-09-24 | 山东超越数控电子有限公司 | Encryption strategy matching algorithm module verification platform and realizing method thereof |
-
2014
- 2014-12-09 CN CN201410753512.5A patent/CN104462693B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103530211A (en) * | 2013-10-12 | 2014-01-22 | 江苏华丽网络工程有限公司 | PCIE loop back self-test method based on UVM platform |
| CN103530216A (en) * | 2013-10-12 | 2014-01-22 | 江苏华丽网络工程有限公司 | PCIE verification method based on UVM |
| CN104065486A (en) * | 2014-07-04 | 2014-09-24 | 山东超越数控电子有限公司 | Encryption strategy matching algorithm module verification platform and realizing method thereof |
Also Published As
| Publication number | Publication date |
|---|---|
| CN104462693A (en) | 2015-03-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN104462693B (en) | One kind builds 1394 link-level transactions level model based on UVM | |
| CN107038280A (en) | A kind of checking system and method for software and hardware cooperating simulation | |
| CN103530216B (en) | A kind of PCIE based on UVM verifies system | |
| Liu | Protocol engineering | |
| TW501005B (en) | Test environment for both a device and a protocol | |
| CN109472061B (en) | Reusable simulation verification platform and simulation verification method | |
| CN103530211B (en) | A kind of method of the PCIE winding Autonomous tests based on UVM platforms | |
| CN106503308A (en) | A kind of CAN controller IP verification platform based on UVM | |
| CN103838899B (en) | For the simulation checking system and method for stone MCU interrupt control unit | |
| CN111064449A (en) | Digital down-sampling filter verification platform and method based on UVM platform | |
| CN104657555A (en) | TOE (TCP/IP Offload Engine) verification method based on UVM (Universal Verification Methodology) and TOE verification platform based on UVM | |
| US20100082315A1 (en) | Interface between a verification environment and a hardware acceleration engine | |
| CN104461813B (en) | UVM is accelerated to verify convergent method using function coverage negative-feedback | |
| Vineeth et al. | Uvm based testbench architecture for coverage driven functional verification of spi protocol | |
| CN106682370A (en) | Simulation verification system | |
| CN110109794A (en) | A kind of bus verification method based on UVM | |
| CN109325900A (en) | A kind of dispositions method and system of algorithm | |
| CN104821849B (en) | A kind of radio optical fiber connecting interface communication pool and its implementation based on FPGA | |
| CN107861850A (en) | One kind interrupts checking system and its application method, computer equipment, storage medium | |
| Genko et al. | A novel approach for network on chip emulation | |
| CN106375154B (en) | A kind of latency measurement verification method, apparatus and system | |
| CN105974297B (en) | It is a kind of to realize the virtual test instrument and test method efficiently tested | |
| Du et al. | IDEA1: a SystemC-based system-level simulator for wireless sensor networks | |
| Gayathri et al. | A SV-UVM framework for verification of SGMII IP core with reusable AXI to WB Bridge UVC | |
| CN115357441A (en) | Universal verification assembly based on UVM and feedback control method |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant | ||
| TR01 | Transfer of patent right |
Effective date of registration: 20221208 Address after: Room S303, Innovation Building, No. 25, Gaoxin 1st Road, Xi'an, Shaanxi 710075 Patentee after: XI'AN XIANGTENG MICROELECTRONICS TECHNOLOGY Co.,Ltd. Address before: No.15, Jinye 2nd Road, Xi'an, Shaanxi 710119 Patentee before: 631ST Research Institute OF AVIC |
|
| TR01 | Transfer of patent right |