tern generation (ATPG) has yielded effective solutions for combinational circuits, developing efficient methods for sequential circuits remains difficult. The difficulty results because state and time frame expansion has caused a virtual explosion of the relevant search space. The commonly used branch-and-bound technique1 is infeasible for large sequential circuits because of the exponentially ...

Parallel Logic Simulation of Digital Circuits By Hong Kyu Kim Parallel discrete event simulation (PDES) is e cient in simulating a large digital circuit. In this dissertation, two techniques are proposed to improve the performance of PDES in logic simulation. One is a partitioning algorithm and the other is a hybrid parallel simulation protocol. Experiments were performed to demonstrate that th...

Abstract Over the years, simulation and tools have provided industry many other sectors with an incredible number of options for improvement their processes. Together development new technologies industrial practices, has also evolved leading to solution approaches, which are used in context current era or Industry 4.0. The present paper presents a take on evolution up until Simulation 4.0 some...

The notion of data type speciication reenement is discussed in a setting of System F and the logic for parametric polymorphism of Plotkin and Abadi. At rst order, one gets a notion of speciication reenement up to observational equivalence in the logic simply by using Luo's formalism. This paper generalises this notion to abstract data types whose signatures contain higher-order and polymorphic ...

Previous work has introduced the setting of Logic LTS, to-gether with a variant of ready simulation as fully-abstract refinementpreorder, which allows one to compose operational specifications using aCSP-style parallel operator as well as the propositional connectives con-junction and disjunction. In this paper, we show how a temporal logicfor specifying safety properties ma...

Promoting research on agents, particularly in modeling and simulation contexts, is a part of this paper’s purpose. Particular promotions are sought with respect to characterizing the notion and the role of formal reasoning. After definitional material, we present a formally defined notion of a programming system or style to support “symbolic simulation,” designed, e.g., to join numerical simula...