Verification of SDL systems with partial order methods

Download
068554.pdf
1997
Şen, Mehmet Alper
Show full item record
52
views
0
downloads
https://hdl.handle.net/11511/11213
Graduate School of Natural and Applied Sciences, Thesis

Suggestions

Verification of delay insensitivity in bit-level pipelined dual-rail threshold logic adders
Ismailoglu, A. Neslin; Askar, Murat (2008-02-22)
A delay-insensitivity verification method is proposed for bit-level pipelined systolic dual-rail threshold logic adders, which achieve speed-up through early and input-incomplete carry output generation and which employ bit-wise completion at pipeline registers. The proposed method simplifies the verification task significantly, regardless of the operand length of the adder, such that analysis of three adjacent systoles for the eight possible early/late carry output generation scenarios is sufficient for de...
Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
Schmidt, Klaus Verner (Institute of Electrical and Electronics Engineers (IEEE), 2013-09-01)
In this paper, we study the diagnosability verification for modular discrete-event systems (DESs), i.e., DESs that are composed of multiple components. We focus on a particular modular architecture, where each fault in the system must be uniquely identified by the modular component where it occurs and solely based on event observations of that component. Hence, all diagnostic computations for faults to be detected in this architecture can be performed locally on the respective modular component, and the obt...
Verification of empirically determined support systems of the Kılıçlar highway tunnel by numerical modelling
Çelik, Gözde; Topal, Tamer; Department of Geological Engineering (2011)
The aim of this study is to determine the geological and geotechnical characteristics of Kılıçlar Tunnel on Ankara-Kırıkkale Highway, to suggest the appropriate support and excavation systems and verify these suggested support systems via numerical modeling. The length of Kılıçlar Tunnel is 1110 m. The width of tunnel is 16 m, the height is 10 m and the maximum overburden height is 90 m. Since Ankara-Kırıkkale Highway consists of 2x3 lanes, the tunnel is designed as a twin tube tunnel. Kılıçlar Tunnel is pl...
VALIDATION OF THE PARTICLE IN CELL MONTE CARLO COLLISION NUMERICAL CODE FOR THE RF DISCHARGE SIMULATION
Kuşoğlu Sarıkaya, Cemre; Rafatov, İsmail; Çakır, Serhat (2016-3-01)
We developed 1d3v Particle in Cell/Monte Carlo Collision (PIC/MCC) numerical code for the RF (radio-frequency) capacitive glow discharge. This method includes the solution of the Lorentz force equation for the motion of super particles and the Poisson equation for the electric field. Collisions between the particles are modeled with the Monte Carlo method. In this process, the isotropic and charge exchange collisions between the ion-neutral pairs, as well as the elastic, excitation and ionization collisions...
Validation of the Particle in Cell Monte Carlo Collision numerical code for the RF discharge simulations
Kuşoğlu Sarıkaya, Cemre; Rafatov, İsmail; Çakır, Serhat (2014-04-01)
Citation Formats
M. A. Şen, “Verification of SDL systems with partial order methods,” Middle East Technical University, 1997.
METU IIS - Integrated Information Service open@metu.edu.tr