Select Subject

All (8831)

Agronomy (158)

Animal Husbandry,... (64)

Aquatic Science (16)

Astronomy (36)

Aviation (22)

Basic Medicine (184)

Biology (504)

Chemical Engineering (103)

Chemistry (635)

Civil and Archite... (105)

Clinical Medicine (236)

Computer Science ... (924)

Dynamic and Elect... (121)

Earth Science (119)

Economics (67)

Education (31)

Electrics, Commun... (927)

Energy Science an... (67)

Engineering and T... (15)

Environmental Sci... (140)

Food Science and ... (63)

Forestry (36)

Hydraulic Enginee... (40)

Mechanics (240)

Metallurgical Eng... (32)

Mine Engineering ... (38)

Nuclear Science a... (21)

Pharmacy (98)

Physics (920)

Preventive Medici... (37)

Psychology (20)

Security Science ... (17)

Sports Science (6)

Surveying and Map... (15)

Textile Science a... (16)

Traditional Chine... (56)

Transportation En... (57)

Select/Unselect all

For Selected Papers

Saved Papers

Please enter a name for this paper to be shown in your personalized Saved Papers list


	1. Grammar-based Fuzz Testing for Microprocessor RTL Design
	LUO Dan,LI Tun,CHEN Liqian,ZOU Hongji,SHI Mingchuan
	Computer Science and Technology 24 September 2021
	Show/Hide Abstract \| Cite this paper︱Full-text: PDF (0 B)

	Abstract:The emergence of hardware construction languages (HCLs), such as PyRTL, PyHDL, and PyMTL, for microprocessor RTL design in agile hardware design methodology brings new challenges to design verification. However, most of the existing dynamic verification techniques for microprocessor RTL designs in HCLs are lacking sufficient consideration of constraints of valid instructions in a given instruction-set architecture (ISA). In contrast, such constraints are pervasive in microprocessor RTL design. This may degrade coverage achievements and the efficiency of the verification process. In this paper, we propose to enhance the coverage-directed dynamic verification method for microprocessor RTL design in several aspects. First, we combine grammar-based fuzz testing and symbolic simulation to generate test instructions for improving coverage. Second, we propose to employ a grammar-based fuzz testing technique by exploiting constraints of valid ISA instructions of a microprocessor under verification. Finally, we implement all the enhancements in a test generation tool, named MPFuzz, for testing microprocessor RTL designs in PyRTL. Experimental results show that MPFuzz can efficiently generate test instructions for microprocessor RTL designs in PyRTL. The test instructions generated by MPFuzz can achieve higher coverage at least four times than that by the state-of-the-art fuzzing-based RTL test generation tool.
	TO cite this article:LUO Dan,LI Tun,CHEN Liqian, et al. Grammar-based Fuzz Testing for Microprocessor RTL Design[OL].[24 September 2021] http://en.paper.edu.cn/en_releasepaper/content/4755578


	2. Quantitative Analysis of Multiple-Component Software Defects
	LI Zu-De, CHEN Ming
	Computer Science and Technology 05 August 2014
	Show/Hide Abstract \| Cite this paper︱Full-text: PDF (0 B)

	Abstract:Certain vital-few defects affect system qualities and maintenance costs more adversely than do other defects.%Identifying the vital-few defects and quantifying their characteristics offer the potential to guide defect correction and prevention.This study finds out that multiple-component defects (MCDs), defects spanning multiple system components, are such defects.Two case studies were conducted in six software systems for drawing a quantitative MCD profile, in aspects of defect proportion, distribution, complexity, longevity, and correction effort.The findings show typically that an MCD is likely to cross software development phase or release boundary 5-8 times more than a non-MCD defect.The profile can aid software maintenance and quality improvement.For example, more regression testing efforts shall be focused on MCDs because they tend to leak into subsequent phases or releases.
	TO cite this article:LI Zu-De, CHEN Ming. Quantitative Analysis of Multiple-Component Software Defects[OL].[ 5 August 2014] http://en.paper.edu.cn/en_releasepaper/content/4602929


	3. Schedulability Analysis for Mode Changes in AFDX Network
	Lu Xiaoyuan,Li Jian,Hu Fei
	Computer Science and Technology 18 December 2012
	Show/Hide Abstract \| Cite this paper︱Full-text: PDF (0 B)

	Abstract:Avionics Full Duplex Switched Ethernet (AFDX) is a new communication standard for an Aircraft Data Network. AFDX networks are used in safety-critical applications that require dedicated bandwidth and provides deterministic Quality of Service (QoS). An aircraft system based on an AFDX network must have the ability to change its functionality over time by means of a mode change. Therefore, it is very important to guarantee the timing requirements in every steady mode, and also during the transition between two different modes. In this paper, a mode change request (MCR) is defined as a sporadic event which triggers a change from one mode to another mode. A Basic Mode Change Model is first described for an AFDX network in order to analyze schedulability of mutual data flows. Then schedulability analysis is done using the proposed model by computing worst case response time for the data flow.
	TO cite this article:Lu Xiaoyuan,Li Jian,Hu Fei. Schedulability Analysis for Mode Changes in AFDX Network[OL].[18 December 2012] http://en.paper.edu.cn/en_releasepaper/content/4500982

Select/Unselect all

For Selected Papers

Saved Papers

Please enter a name for this paper to be shown in your personalized Saved Papers list

Rank

Alert Name:
Alerting to:
Authentication email will be sent to your email address in 24 hours
Frequency:
Email Message Format:	Plain text Graphical(HTML)

Complete the form below and we will recommend the selected titles to your friends on your behalf. * Indicates a required field.
Your name*:
Your email address*:
Recipient's name*:
Recipient's email address*:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find the page(s) useful.

Your name:
Your email address:
Recipient's name:
Recipient's email address:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find this page useful.

Disclaimer: This message was sent to your friend using the "Send it to a friend" facility on the Sciencepaper Online’ WWW site, http://www.paper.edu.cn/en. The Sciencepaper Online is not responsible for the content of this email, and anything said in this email does not necessarily reflect the Sciencepaper Online's views.

	Check out RSS, or use RSS reader to subscribe this item