Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 10 of 10 for “"Dynamic Logic"”.
-
An Interactive Theorem Prover for First-Order Dynamic Logic
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of …
-
Differential dynamic logics - automated theorem proving for hybrid systems
… for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce …
-
Power Estimation and Minimization of Digital Signal Processing Systems
… on power dissipation in static CMOS circuits. Dynamic logic circuits are used in high-performance circuits due to their speed and area advantage over static CMOS circuits. In this thesis, we also present an optimization technique, termed clock-generating (CG) domino, for dual-output domino …
-
A multidimensional dynamic framework for handling simple interruption phenomena, anaphoric pronouns and definite descriptions
… As a first step into the multidimensional dynamic logic framework, the present system has only dealt with a very few parameters. Indeed, we assume in a quite unrealistic fashion that all dimensions share the same domain of individuals. We assume also that there are no intentional …
-
Design for manufacturability with regular fabrics in digital integrated circuits
… includes analysis of the novel Limited Switch Dynamic Logic (LSDL) style, which reduces design area and encourages regularity through minimum logic sizing.
-
Technology mapping and layout synthesis of DCVS
Differential Cascode Voltage Switch (DCVS) logic is a dynamic logic family that has a number of desirable properties. In particular, it is hazard-free, easy to make fully robust path delay-fault testable, and has a number of unique timing properties that make it very suitable for self-timed …
-
Synthesis Of Self-resetting Stage Logic Pipelines
… Recently, self-resetting circuits implemented in dynamic logic families have been proposed as viable clockless alternatives. While these circuits can produce excellent performances, they display serious limitations in terms of area cost and power consumption. A middle-of-the-road alternative, …
-
Analog and Digital Circuits in a Complementary Organic TFT Technology on Flexible Substrate
… building blocks (i.e., inverters, static and dynamic logic gates, static and dynamic flip-flops, ring oscillator, differential gain stage, and rectifier/envelope detector) fabricated using a fully-printed organic complementary technology on flexible substrate are presented. The performance of …
-
Service-oriented design and verification of hybrid systems
… a formalization for Simulink into differential dynamic logic (dL), which is a formal language to design and verify hybrid systems. Our formalization enables the formal verification of hybrid Simulink models. With the verification results, we create hybrid contracts that describe the interface …
-
The Proscriptive Principle and Logics of Analytic Implication
<p>The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the <em>Prior Analytics</em> motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the <em>analysis</em> …