Semantic Scholar uses AI to extract papers important to this topic.
This paper introducesQWIRE, a language for defining quantum circuits and an interface for manipulating them inside of an… Expand Programmable logic controller (PLC) is one of the most important components in today’s manufacturing. Its performance-based… Expand In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an… Expand A flexible 8b asynchronous microprocessor ACTII based on low-temperature poly-silicon TFT technology, surface-free technology by… Expand Abstract We have conceived and developed a simulator modelling the behaviour of the A320 Airbus. The model is written in VHDL… Expand The aim of this paper is to show how it is possible to combine the advantages of the B method in order to design secure digital… Expand In this report we present the multi-disciplinary work performed in the rst phase of the COHSY project concerning generation of… Expand A symbolic circuit design language for describing the topology and topography of a VLSI design in a simple and hierarchical… Expand BOLT is a block-oriented MOS Integrated Circuit design language which relies heavily on macro, define, and parameter default… Expand This correspondence describes a special purpose Asynchronous Circuit Design Language (ACDL) for specifying the terminal behavior… Expand