supported by the National Key Research and Development Program of China(No.2017YFB0802502);by the Aeronautical Science Foundation(No.2017ZC51038);by the National Natural Science Foundation of China(Nos.62002006,61702028,61672083,61370190,61772538,61532021,61472429,and 61402029);by the Foundation of Science and Technology on Information Assurance Laboratory(No.1421120305162112006);by the National Cryptography Development Fund(No.MMJJ20170106);by the Defense Industrial Technology Development Program(No.JCKY2016204A102);by the Liaoning Collaboration Innovation Center For CSLE,China。
With the wide application of electronic hardware in aircraft such as air-to-ground communication,satellite communication,positioning system and so on,aircraft hardware is facing great secure pressure.Focusing on the s...
The work was supported by the National Key R&D Program of China(2018YFB1004202);by Laboratory of Software Engineering for Complex Systems.
It is often the case that in the development of a system-on-a-chip(SoC)design,a family of SystemC transaction level models(TLM)is created.TLMs in the same family often share common functionalities but differ in their ...
Nowadays, from home monitoring to large airport security, a lot of digital video surveillance systems have been used. Digital surveillance system usually requires streaming video processing abilities. As an advanced v...
supported by the National Natural Science Foundation of China(Grant No.90307014).
A novel amperometric immunosensor based on the micro electromechanical systems (MEMS) technology, using protein A and self-assembled monolayers (SAMs) for the orientation-controlled immobilization of antibodies, h...
supported in part by the National Basic Research Program of China(973)(Grant Nos.2005CB321604 and 2005CB321605);in part by the National Natural Science Foundation of China(Grant Nos.90207002 and 60576031).
This paper addresses the problem of test response compaction. In order to maximize compaction ratio, a single-output compactor based on a (n, n-1, m, 3) convolutional code is presented. When the proposed theorems ar...
This paper presents a new test data compression/decompression method for SoC testing,called hybrid run length codes. The method makes a full analysis of the factors which influence test parameters:compression ratio,t...
A hardware-software co-simulation method for system on chip (SOC) design is discussed. It is based on an instruction set simulator (ISS) and an event-driven hardware simulator, and a bus interface model that is descri...
国家自然科学基金,the Sci. & Technol. Project of Beijing,中国科学院资助项目,Synopsys公司资助项目
This paper presents a test resource partitioning technique based on anefficient response compaction design called quotient compactor(q-Compactor). Because q-Compactor isa single-output compactor, high compaction ratio...
Previously,a single data-path stack was adequate for data-path chips,and the complexity and size of the data-path was comparatively small.As current data-path chips,such as system-on-a-chip (SOC),become more complex,m...