Automatic generation of hardware design properties from simulation traces

Mandouh, Eman El; Wassal, Amr G.

doi:10.1109/iscas.2012.6271758

Cited by 17 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…GoldMine [20] uses static analysis on RTL design and a decision tree based supervised learning algorithm on simulation traces to generate assertions. Mandouh and Wassal [7] propose a framework that utilizes frequent and sequential pattern mining and known templates to extract RTL design properties.…”

Section: Pipeline Temporal Informationmentioning

confidence: 99%

Verifying micro-architecture simulators using event traces

Nyew

Onder

Önder

et al. 2014

Proceedings of the 28th ACM International Conference on Supercomputing

View full text Add to dashboard Cite

Contemporary micro-architecture research inherently relies on cycleaccurate simulators to test new ideas. Typical simulator implementations involve tens of thousands of lines of high-level code. Although general software engineering verification and validation techniques can be applied, the mere complexity of simulators makes using formal techniques difficult and calls for domain-specific knowledge to be a part of the verification process. This domain-specific information includes modeling the pipeline stages and the timing behavior of instructions with respect to these stages.We present an approach to simulator verification that uses domainspecific information to effectively capture a potential mismatch between the assumed architecture model and its simulator. We first discuss how a simulator-generated event trace can be fed into an automatically generated verification program from a first-order logic specification to verify that the simulator obeys the invariants. We then show techniques that extract simulator behavior from traces and present the results to the user in the form of graphs and rules. While the former seeks an assurance of implementation correctness by checking that the model invariants hold, the latter attempts to derive an extended model of the implementation and hence enables a deeper understanding of what was implemented.Our techniques are applicable to any micro-architecture simulator. We present the application of our techniques to hand-written simulators as well as to those generated from an architecture specification language.

show abstract

Section: Pipeline Temporal Informationmentioning

confidence: 99%

Verifying micro-architecture simulators using event traces

Nyew

Onder

Önder

et al. 2014

Proceedings of the 28th ACM International Conference on Supercomputing

View full text Add to dashboard Cite

show abstract

“…Resources can employees to successfully realize their tasks and targets, as a way to consolidate their well-being and their ability to do well [8][9][10][11][12][13][14]. The aim of any electronic control system is to organize, monitor and process commands, guidance and regulate the behavior of other devices or systems using many types of control systems [15,16].…”

Section: Introductionmentioning

confidence: 99%

“…The circuit of the open loop system has not sensors to tell if their setpoint has been executed which makes the rectification of disturbances impossible. Open loop system works by simple input signals [16]. Its characteristics are not satisfactory in achieving the desired result of the system and observation so this system is too slow [9,17].…”

Section: Introductionmentioning

confidence: 99%

A hybrid control system for investigating a high level of decision in IoT

Al-Obaidi

Ali

Ssaud

et al. 2020

IJEECS

View full text Add to dashboard Cite

In the modern world, the search started for cheap and efficient operating system sources has begun can converted to civilian ends. Internet of Things (IoT) is one of the most realistic applications for remote control and remote management using a wide network.In this paper, a control system is designed and built to manage and control traffic lights and street lighting systems, as well as turning on/off generators in a small virtual environment. This was implemented by designing and building a hybrid electronic circuit that combines the closed-circuit control system and the open circuit system. The closed circuit regulates the system according to the desired condition without operator interaction; while the open circuit operates on demand. This type of a hybrid control system demonstrated its high flexibility by controlling devices and its high efficiency compared to the closed circuit and the open circuit system independently. It also helps reduce the number of maintenance guys and energy consumption as well as the cost.

show abstract