CN110688821A - Test excitation generator of complex algorithm and control method thereof - Google Patents
Test excitation generator of complex algorithm and control method thereof Download PDFInfo
- Publication number
- CN110688821A CN110688821A CN201910925904.8A CN201910925904A CN110688821A CN 110688821 A CN110688821 A CN 110688821A CN 201910925904 A CN201910925904 A CN 201910925904A CN 110688821 A CN110688821 A CN 110688821A
- Authority
- CN
- China
- Prior art keywords
- vector
- special
- complex algorithm
- test
- time sequence
- 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
Links
Images
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
Landscapes
- Tests Of Electronic Circuits (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
The invention relates to a test excitation generator of a complex algorithm and a control method thereof, wherein the test excitation generator comprises the following steps: the device comprises a fixed vector generation module, a random vector generation module, a special vector generation module, a time sequence monitoring module, a verification scheme input interface module, a time sequence signal input interface module and a test excitation output interface module; the fixed vector generation module generates excitation such as register reset read-write attribute and the like, and the random vector generation module generates constrained randomized excitation; the special vector generation module generates special excitation which cannot be generated by adopting SystemVerilog randomization command; the test excitation generator acquires control signals through the verification scheme input interface module, respectively controls different vector generation modules to generate corresponding test excitation, and outputs the test excitation through the test excitation output interface module; the test excitation generator acquires a control signal through the time sequence signal input interface module, and controls the loading and verification starting of the output test excitation; and the time sequence monitoring module monitors the state information of the complex algorithm verification system through the time sequence signal input interface module. The method is suitable for the test excitation generation of the complex algorithm realized by pure hardware or software and hardware in a cooperative way, and can effectively improve the quality and efficiency of the verification of the complex algorithm.
Description
Technical Field
The invention belongs to the simulation verification of a complex algorithm module in the field of integrated circuit design, and particularly relates to a test excitation generator of a complex algorithm and a control method thereof.
Background
Generally, the complexity of the algorithm determines the complexity of the RTL implementation to a great extent, and in order to ensure the functional coverage of the verification, the RTL simulation verification scheme of the complex algorithm inevitably becomes huge and cumbersome. Particularly, according to different application requirements, the same type of complex algorithm may adopt multiple implementation modes such as software and hardware cooperation or pure hardware, so as to obtain more flexible application characteristics or achieve higher data throughput rate. The high complexity and diversified implementation modes greatly increase the difficulty of RTL simulation verification of the complex algorithm.
In order to realize the complex algorithm verification (such as a deep learning algorithm, a public key algorithm and the like) realized by software and hardware cooperation or pure hardware, the invention discloses a test excitation generator of a complex algorithm and a control method thereof, which can be suitable for the test excitation generation of the complex algorithm realized by the software and hardware cooperation or the pure hardware, can be applied to a traditional simulation verification structure based on Verilog/SystemVerilog or a simulation verification structure based on UVM methodology, effectively reduces the simulation verification difficulty and improves the quality and the efficiency of the complex algorithm verification.
Disclosure of Invention
The invention provides a test stimulus generator of a complex algorithm, which can realize the test stimulus generation of the complex algorithm only by adding a test stimulus generator module on the basis of the original verification environment (based on a Verilog/SystemVerilog traditional simulation verification structure or a UVM methodology simulation verification structure); the complex algorithm test excitation generator is suitable for complex algorithm verification realized by software and hardware cooperation or pure hardware, reduces the simulation verification difficulty and improves the verification quality of the complex algorithm.
The invention provides a control method of a test excitation generator of a complex algorithm, which realizes the efficient generation and loading of test excitation and can improve the verification efficiency of the complex algorithm.
The invention provides a test excitation generator (100) of a complex algorithm, which comprises a fixed vector generation module (101), a random vector generation module (102), a special vector generation module (103), a time sequence monitoring module (104), a verification scheme input interface module (105), a time sequence signal input interface module (106) and a test excitation output interface module (107); the method comprises the steps that a test excitation generation control signal is input to a test excitation generator (100) through a verification scheme input interface module (105), the test excitation generator (100) obtains a time sequence signal from a complex algorithm verification system (108) through a time sequence signal input interface module (106), the time sequence signal is processed through a time sequence monitoring module (104) and used for controlling loading and verification starting of the test excitation, and the test excitation generator (100) generates the test excitation and outputs the test excitation to the complex algorithm verification system (108) through a test excitation output interface module (107).
In a test stimulus generator (100) of a complex algorithm, a fixed vector generation module (101) realizes test stimulus generation of a register reset value, a register read-write attribute and an RAM read-write attribute.
In a test stimulus generator (100) for a complex algorithm, a randomization mechanism of a random vector generation module (102) generates legal random data conforming to an input data format of the complex algorithm and illegal random data not conforming to the input data format of the complex algorithm using a randomization command of SystemVerilog.
In a test stimulus generator (100) of a complex algorithm, a special vector generation module (103) has a complex algorithm operation function and can generate a special stimulus conforming to a complex operation characteristic.
In a complex algorithm test stimulus generator (100), a timing monitor module (104) monitors in real time a timing signal of the complex algorithm module and controls a loading process of a test stimulus.
In a test stimulus generator (100) of a complex algorithm, a verification scheme input interface module (105) requires input of a verification scheme including at least generation control signals of a fixed vector, a random vector, and a special vector.
In a test stimulus generator (100) for a complex algorithm, a timing signal input interface module (106) is connected to a complex algorithm verification environment (108) by way of hierarchical access.
In a test stimulus generator (100) of a complex algorithm, a test stimulus output interface module (107) outputs a test stimulus in the form of a Task conforming to Verilog syntax or a Sequence conforming to UVM methodology.
According to another aspect of the invention, a control method for a test stimulus generator for a complex algorithm is shown in FIG. 3.
Step S1: analyzing the verification scheme;
step S2: generating, loading and verifying a fixed vector to start;
step S3: generating, loading and verifying a random vector to start;
step S4: judging whether the data vector is a special data vector in the special vector, if so, jumping to the step S5, otherwise, jumping to the step S6;
step S5: calling a complex algorithm to operate to generate a special data vector in the special vector;
step S6: judging whether the time sequence vector is a special time sequence vector in the special vectors, if so, jumping to the step S7, otherwise, jumping to the step S8;
step S7: initializing time sequence vector loading;
step S8: starting time sequence monitoring;
step S9: loading a special vector and starting verification;
step S10: a hybrid vector, which is a random combination of a fixed vector, a random vector, and a special vector, is loaded and authentication is initiated.
Drawings
FIG. 1 is a schematic diagram of a test stimulus generator structure for a complex algorithm.
Fig. 2 is a schematic diagram of an application example of a test stimulus generator of a complex algorithm in a UVM verification environment.
FIG. 3 is a flow chart of a test stimulus generator control method of a complex algorithm.
Detailed Description
In order to more clearly describe the technical scheme of the invention, the invention is described in detail with reference to the accompanying drawings and specific embodiments.
As shown in fig. 1, a test stimulus generator (100) of a complex algorithm is composed of a fixed vector generation module (101), a random vector generation module (102), a special vector generation module (103), a timing monitoring module (104), a verification scheme input interface module (105), a timing signal input interface module (106), and a test stimulus output interface module (107); the method comprises the steps that a test excitation generation control signal is input to a test excitation generator (100) through a verification scheme input interface module (105), the test excitation generator (100) obtains a time sequence signal from a complex algorithm verification system (108) through a time sequence signal input interface module (106), the time sequence signal is processed through a time sequence monitoring module (104) and used for controlling loading and verification starting of the test excitation, and the test excitation generator (100) generates the test excitation and outputs the test excitation to the complex algorithm verification system (108) through a test excitation output interface module (107).
A complex algorithm test stimulus generator (100) is used to generate five complex algorithm test stimuli, a fixed vector sequence, a random vector sequence, a special data vector sequence, a special timing vector sequence, and a mixed vector sequence.
As shown in fig. 2, the present invention is applied on the basis of a classical UVM verification structure, taking verification of SM2 signature verification operation implemented by software and hardware as an example, and more specifically, details of application of the complex algorithm test stimulus generator (100) are described. (the SM2 signature checking operation can be decomposed into hash operation, dot multiplication operation, and modulo addition and subtraction operation, in this embodiment, the hash operation is implemented by external software scheduling, the dot multiplication and modulo addition and subtraction operation are implemented in the SM2 algorithm implementation module (DUT), and the hash operation and the dot multiplication operation are performed in parallel).
Step S1: the test excitation generator (100) obtains a verification scheme through the verification scheme input interface module (105), and analyzes the verification scheme to obtain generation control signals of a fixed vector, a random vector, a special vector and a mixed vector.
The SM2 algorithm implements passing of timing signals of a module (DUT) through an output Interface (O-Interface) to a timing signal input Interface module (106).
Step S2: generating a control signal according to the fixed vector, calling a fixed vector generating module (101) to generate the fixed vectors of the reset value, the read-write attribute and the RAM read-write attribute of the special function register, outputting the fixed vectors to a Sequence (Sequence) through a test excitation output interface module (107), controlling the loading process of the fixed vectors according to the time Sequence signal and starting verification.
Step S3: generating a control signal according to a random vector, calling a random vector generation module (102) to generate random signature data (r, s) and a hash value e, noting that the probability of combination of the signature data (r, s) and the hash value e is an illegal value, outputting the signature data to a Sequence (Sequence) through a test excitation output interface module (107), controlling the loading process of the signature data according to a time Sequence signal and starting verification.
Steps S4, S5: and generating a control signal according to the special vector, judging whether to generate a special data vector in the special vector, if so, calling a special vector generation module (103), and obtaining a legal public and private key pair, signature data (r, S) and a hash value e combination by adopting an SM2 public and private key pair generation algorithm and an SM2 signature algorithm, otherwise, jumping to the step S6.
Steps S6, S7: and judging whether to generate a special time sequence vector in the special vectors according to the special vector generation control signal, if so, initializing the time sequence vector, and otherwise, jumping to the step S8.
Step S8: and calling a time sequence monitoring module (104) to monitor the end mark of the dot product operation in the SM2 signature checking operation process in real time so as to ensure that the hash value e is used after the dot product operation is finished and ensure the flow legality of the SM2 signature checking operation.
Step S9: special vectors are loaded and validation is initiated based on feedback from the timing monitor module (104).
Step S10: and loading a fixed vector, a random vector or a special vector according to the six combined modes of the mixed vector, starting verification, covering all possible combined use modes in the SM2 signature verification operation process, and improving the verification coverage rate.
Claims (10)
1. A test stimulus generator for complex algorithms, comprising essentially: the test excitation generator (100) is composed of a fixed vector generation module (101), a random vector generation module (102), a special vector generation module (103), a time sequence monitoring module (104), a verification scheme input interface module (105), a time sequence signal input interface module (106) and a test excitation output interface module (107); the method comprises the steps that a test excitation generation control signal is input to a test excitation generator (100) through a verification scheme input interface module (105), the test excitation generator (100) obtains a time sequence signal from a complex algorithm verification system (108) through a time sequence signal input interface module (106), the time sequence signal is processed through a time sequence monitoring module (104) and used for controlling loading and verification starting of the test excitation, and the test excitation generator (100) generates the test excitation and outputs the test excitation to the complex algorithm verification system (108) through a test excitation output interface module (107).
2. The test stimulus generator of a complex algorithm according to claim 1, characterized in that the fixed vector generation module (101) implements test stimulus generation of register reset values, register read-write properties and RAM read-write properties.
3. The test stimulus generator of a complex algorithm of claim 1, wherein the randomization mechanism of the random vector generation module (102) employs a randomization command of System Verilog to generate legal random data that conforms to the input data format of the complex algorithm and illegal random data that does not conform to the input data format of the complex algorithm.
4. The test stimulus generator of a complex algorithm according to claim 1, characterized in that the special vector generation module (103) has a complex algorithm operation function and is capable of generating special stimuli conforming to complex operation characteristics.
5. The complex algorithmic test stimulus generator of claim 1, characterized in that the timing monitoring module (104) monitors the timing signals of the complex algorithmic module in real time and controls the loading process of the test stimulus.
6. The test stimulus generator of a complex algorithm of claim 1, characterized in that the validation scheme input interface module (105) requires input of validation schemes comprising at least generation control signals of fixed vectors, random vectors and special vectors.
7. The test stimulus generator of a complex algorithm of claim 1, wherein the timing signal input interface module (106) is connected to the complex algorithm verification system (108) by way of hierarchical access.
8. The test stimulus generator of a complex algorithm of claim 1, characterized in that the test stimulus output interface module (107) outputs the test stimulus in the form of a Task according to Verilog syntax or a Sequence according to UVM methodology.
9. A control method of a test stimulus generator of a complex algorithm based on the test stimulus generator of a complex algorithm of claim 1, characterized by the main steps comprising:
step S1: analyzing the verification scheme;
step S2: generating, loading and verifying a fixed vector to start;
step S3: generating, loading and verifying a random vector to start;
step S4: judging whether the data vector is a special data vector in the special vector, if so, continuing to step S5, otherwise, jumping to step S6;
step S5: calling a complex algorithm to operate to generate a special data vector in the special vector;
step S6: judging whether the time sequence vector is a special time sequence vector in the special vectors, if so, continuing to step S7, otherwise, jumping to step S8;
step S7: initializing time sequence vector loading;
step S8: starting time sequence monitoring;
step S9: loading a special vector and starting verification;
step S10: a hybrid vector, which is a random combination of a fixed vector, a random vector, and a special vector, is loaded and authentication is initiated.
10. The control method according to claim 9, wherein the random combination of the hybrid vectors includes six of a fixed vector + a random vector, a fixed vector + a special vector, a random vector + a fixed vector, a random vector + a special vector, a special vector + a fixed vector, and a special vector + a random vector.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910925904.8A CN110688821B (en) | 2019-09-27 | 2019-09-27 | Test excitation generator of complex algorithm and control method thereof |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910925904.8A CN110688821B (en) | 2019-09-27 | 2019-09-27 | Test excitation generator of complex algorithm and control method thereof |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110688821A true CN110688821A (en) | 2020-01-14 |
CN110688821B CN110688821B (en) | 2023-10-13 |
Family
ID=69110697
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910925904.8A Active CN110688821B (en) | 2019-09-27 | 2019-09-27 | Test excitation generator of complex algorithm and control method thereof |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN110688821B (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112198423A (en) * | 2020-09-25 | 2021-01-08 | 杭州加速科技有限公司 | Test excitation generating unit in FPGA chip |
CN113157269A (en) * | 2021-06-10 | 2021-07-23 | 上海齐感电子信息科技有限公司 | Verification system and verification method thereof |
CN113283211A (en) * | 2021-05-20 | 2021-08-20 | 复旦大学 | Microprocessor automatic verification method and verification device based on Verilog |
Citations (24)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6065106A (en) * | 1996-12-20 | 2000-05-16 | Texas Instruments Incorporated | Resuming normal execution by restoring without refetching instructions in multi-word instruction register interrupted by debug instructions loading and processing |
AU727787B2 (en) * | 1996-11-26 | 2000-12-21 | Trw Inc. | Cochannel signal processing system |
US6484135B1 (en) * | 1999-08-30 | 2002-11-19 | Hewlett-Packard Company | Method for adaptive test generation via feedback from dynamic emulation |
US20060208169A1 (en) * | 1992-05-05 | 2006-09-21 | Breed David S | Vehicular restraint system control system and method using multiple optical imagers |
WO2007009912A1 (en) * | 2005-07-15 | 2007-01-25 | Politecnico Di Torino | Method for testing analog-to-digital converters |
CN101263499A (en) * | 2005-07-11 | 2008-09-10 | 布鲁克斯自动化公司 | Intelligent condition monitoring and fault diagnostic system |
US20090254525A1 (en) * | 2008-04-07 | 2009-10-08 | Krishnan Srinivasan | Method and system for a database to monitor and analyze performance of an electronic design |
US20100192111A1 (en) * | 2009-01-28 | 2010-07-29 | Synopsys, Inc. | Performing logic optimization and state-space reduction for hybrid verification |
US20140059399A1 (en) * | 2008-07-21 | 2014-02-27 | Synopsys, Inc. | Test design optimizer for configurable scan architectures |
CN103700407A (en) * | 2013-12-14 | 2014-04-02 | 中国航空工业集团公司第六三一研究所 | Aviation application-based verification method for domestic storages |
CN104486169A (en) * | 2015-01-07 | 2015-04-01 | 北京华力创通科技股份有限公司 | Reusable automatic detection and random verification system and method |
CN104504187A (en) * | 2014-12-11 | 2015-04-08 | 安徽师范大学 | FPGA (Field Programmable Gate Array) online verification structure and method based on serial communication interface |
CN105320583A (en) * | 2014-07-31 | 2016-02-10 | 上海华虹集成电路有限责任公司 | UVM (universal verification methodology) based write-only register verification test platform and verification method |
CN106021037A (en) * | 2015-07-10 | 2016-10-12 | 北京中电华大电子设计有限责任公司 | Chip register automation simulation verification method based on technological manual extraction |
CN106021044A (en) * | 2016-05-10 | 2016-10-12 | 中国电子科技集团公司第三十八研究所 | Reusable SPI (Serial Peripheral Interface) bus protocol module verification environment platform and verification method thereof |
US20160320451A1 (en) * | 2014-12-30 | 2016-11-03 | Capital Microelectronics Co., Ltd. | Simulation verification method for fpga function modules and system thereof |
US20170046839A1 (en) * | 2015-08-14 | 2017-02-16 | Elucid Bioimaging Inc. | Systems and methods for analyzing pathologies utilizing quantitative imaging |
US20170115969A1 (en) * | 2015-10-21 | 2017-04-27 | Vayavya Labs Pvt. Ltd | System and method for automatically generating device drivers for run time environments |
US20180004627A1 (en) * | 2016-06-29 | 2018-01-04 | Centipede Semi Ltd. | Sequential monitoring and management of code segments for run-time parallelization |
CN107908514A (en) * | 2017-11-15 | 2018-04-13 | 北京中电华大电子设计有限责任公司 | A kind of emulation verification method of power consumption adaptive circuit |
CN107992675A (en) * | 2017-11-29 | 2018-05-04 | 中国电子科技集团公司第五十四研究所 | A kind of arbitration circuit test method of EDA Qualify Phases |
CN109901999A (en) * | 2019-01-31 | 2019-06-18 | 国核自仪系统工程有限公司 | The emulation mode and system of programmable logic based on UVM |
CN110046387A (en) * | 2019-03-14 | 2019-07-23 | 广东工业大学 | A kind of SM2 module verification platform and verification method based on UVM |
CN110188885A (en) * | 2019-06-28 | 2019-08-30 | 合肥本源量子计算科技有限责任公司 | A kind of quantum calculation analogy method, device, storage medium and electronic device |
-
2019
- 2019-09-27 CN CN201910925904.8A patent/CN110688821B/en active Active
Patent Citations (24)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060208169A1 (en) * | 1992-05-05 | 2006-09-21 | Breed David S | Vehicular restraint system control system and method using multiple optical imagers |
AU727787B2 (en) * | 1996-11-26 | 2000-12-21 | Trw Inc. | Cochannel signal processing system |
US6065106A (en) * | 1996-12-20 | 2000-05-16 | Texas Instruments Incorporated | Resuming normal execution by restoring without refetching instructions in multi-word instruction register interrupted by debug instructions loading and processing |
US6484135B1 (en) * | 1999-08-30 | 2002-11-19 | Hewlett-Packard Company | Method for adaptive test generation via feedback from dynamic emulation |
CN101263499A (en) * | 2005-07-11 | 2008-09-10 | 布鲁克斯自动化公司 | Intelligent condition monitoring and fault diagnostic system |
WO2007009912A1 (en) * | 2005-07-15 | 2007-01-25 | Politecnico Di Torino | Method for testing analog-to-digital converters |
US20090254525A1 (en) * | 2008-04-07 | 2009-10-08 | Krishnan Srinivasan | Method and system for a database to monitor and analyze performance of an electronic design |
US20140059399A1 (en) * | 2008-07-21 | 2014-02-27 | Synopsys, Inc. | Test design optimizer for configurable scan architectures |
US20100192111A1 (en) * | 2009-01-28 | 2010-07-29 | Synopsys, Inc. | Performing logic optimization and state-space reduction for hybrid verification |
CN103700407A (en) * | 2013-12-14 | 2014-04-02 | 中国航空工业集团公司第六三一研究所 | Aviation application-based verification method for domestic storages |
CN105320583A (en) * | 2014-07-31 | 2016-02-10 | 上海华虹集成电路有限责任公司 | UVM (universal verification methodology) based write-only register verification test platform and verification method |
CN104504187A (en) * | 2014-12-11 | 2015-04-08 | 安徽师范大学 | FPGA (Field Programmable Gate Array) online verification structure and method based on serial communication interface |
US20160320451A1 (en) * | 2014-12-30 | 2016-11-03 | Capital Microelectronics Co., Ltd. | Simulation verification method for fpga function modules and system thereof |
CN104486169A (en) * | 2015-01-07 | 2015-04-01 | 北京华力创通科技股份有限公司 | Reusable automatic detection and random verification system and method |
CN106021037A (en) * | 2015-07-10 | 2016-10-12 | 北京中电华大电子设计有限责任公司 | Chip register automation simulation verification method based on technological manual extraction |
US20170046839A1 (en) * | 2015-08-14 | 2017-02-16 | Elucid Bioimaging Inc. | Systems and methods for analyzing pathologies utilizing quantitative imaging |
US20170115969A1 (en) * | 2015-10-21 | 2017-04-27 | Vayavya Labs Pvt. Ltd | System and method for automatically generating device drivers for run time environments |
CN106021044A (en) * | 2016-05-10 | 2016-10-12 | 中国电子科技集团公司第三十八研究所 | Reusable SPI (Serial Peripheral Interface) bus protocol module verification environment platform and verification method thereof |
US20180004627A1 (en) * | 2016-06-29 | 2018-01-04 | Centipede Semi Ltd. | Sequential monitoring and management of code segments for run-time parallelization |
CN107908514A (en) * | 2017-11-15 | 2018-04-13 | 北京中电华大电子设计有限责任公司 | A kind of emulation verification method of power consumption adaptive circuit |
CN107992675A (en) * | 2017-11-29 | 2018-05-04 | 中国电子科技集团公司第五十四研究所 | A kind of arbitration circuit test method of EDA Qualify Phases |
CN109901999A (en) * | 2019-01-31 | 2019-06-18 | 国核自仪系统工程有限公司 | The emulation mode and system of programmable logic based on UVM |
CN110046387A (en) * | 2019-03-14 | 2019-07-23 | 广东工业大学 | A kind of SM2 module verification platform and verification method based on UVM |
CN110188885A (en) * | 2019-06-28 | 2019-08-30 | 合肥本源量子计算科技有限责任公司 | A kind of quantum calculation analogy method, device, storage medium and electronic device |
Non-Patent Citations (2)
Title |
---|
周卓;: "基于SV语言的802.11 MAC芯片逻辑验证方案", 现代电子技术, no. 18 * |
李艳福;韩国军;方毅;穆丽伟;: "基于VMM的LDPC编译码器验证平台设计", 通信技术, no. 11 * |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN112198423A (en) * | 2020-09-25 | 2021-01-08 | 杭州加速科技有限公司 | Test excitation generating unit in FPGA chip |
CN113283211A (en) * | 2021-05-20 | 2021-08-20 | 复旦大学 | Microprocessor automatic verification method and verification device based on Verilog |
CN113157269A (en) * | 2021-06-10 | 2021-07-23 | 上海齐感电子信息科技有限公司 | Verification system and verification method thereof |
CN113157269B (en) * | 2021-06-10 | 2023-11-17 | 上海齐感电子信息科技有限公司 | Verification system and verification method thereof |
Also Published As
Publication number | Publication date |
---|---|
CN110688821B (en) | 2023-10-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110688821B (en) | Test excitation generator of complex algorithm and control method thereof | |
US8966286B2 (en) | Method, system and integrated circuit for enabling access to a memory element | |
JP6556495B2 (en) | Secret information-based mutual authentication method and apparatus | |
US8681976B2 (en) | System and method for device dependent and rate limited key generation | |
JP5156540B2 (en) | Hash value generator | |
CN111897892B (en) | Data aggregation method and system based on smart power grid and storage medium | |
CN105814833B (en) | Method and system for secure data transformation | |
US20180097613A1 (en) | Encryption device and memory device | |
CN111914307B (en) | High-level synthesis-based SM4 cryptographic algorithm accelerated processing method and system | |
CN112740618A (en) | Signature device, verification device, signature system, signature method, signature program, verification method, and verification program | |
CN200990081Y (en) | Computer hard disk data ciphering card | |
D'Anvers et al. | Error term checking: Towards chosen ciphertext security without re-encryption | |
US7366860B2 (en) | Storage device configured to sequentially input a command | |
KR20110020153A (en) | Method and apparatus for processing f-function in seed encryption system | |
CN109560925A (en) | Key information Supply Method and the device for utilizing key information Supply Method | |
CN111651788B (en) | Terminal access control system and method based on lattice code | |
KR20210072711A (en) | Method and apparatus for mutual authentication between internet of things device and trusted server | |
Feten et al. | Hardware/software co-design using high level synthesis for cryptographic module | |
CN110543777A (en) | Image processing method, device, equipment and storage medium | |
CN114637704B (en) | Multi-interface excitation implementation method | |
CN111314051A (en) | Encryption and decryption method and device | |
Saarinen et al. | Mask compression: high-order masking on memory-constrained devices | |
D’haeseleer | Hardware design for cryptanalysis | |
KR102404223B1 (en) | Apparatus and method for encryption generating using key dependent layer, computer-readable storage medium and computer program | |
CN111314079B (en) | Encryption and decryption method and device |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |