On embedding a hardware description language in Isabelle/HOL
نویسندگان
چکیده
منابع مشابه
Embedding a Hardware Description Language in Template Haskell
Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification fit well within functional languages, leading in many cases to a perfect embedding. There are some situations, including netlist generation and software logic probes, where the DSL does not fit exactly within the host functional ...
متن کاملEmbedding a Hardware Description Language in a Functional Meta-Programming Language
General purpose functional languages such as Haskell, have been widely used as host languages for the embedding of domain specific languages. In particular, various hardware description languages have been successfully embedded in Haskell and other functional languages. More recently, meta-programming languages have also started being used for the embedding of such languages, where the meta-lan...
متن کاملExperience with Embedding Hardware Description Languages in HOL
The semantics of hardware description languages can be represented in higher order logic. This provides a formal deenition that is suitable for machine processing. Experiments are in progress at Cambridge to see whether this method can be the basis of practical tools based on the HOL theorem-proving assistant. Three languages are being investigated: ELLA, Silage and VHDL. The approaches taken f...
متن کاملRoll your own Hardware Description Language
The work presented here is a first study made at ESEO1 by the research team TRAME (Model Transformations for Embedded Systems) for the semiconductor company ATMEL Nantes. This experiment consists in exploring the possibilities of ModelDriven Development (MDD) and model transformation in the context of digital hardware design. Through the definition of several meta-models and model transformatio...
متن کاملUML - The Emerging Hardware Description Language?
The Unified Modeling LanguageTM (UML) has received a wide acceptance in the area of software engineering over the last years. In its last revision, UML [4] (i.e., UML 2.0) is composed of a set of structural (classes, components, composite structures, deployments) and behavioral concepts (actions, activities, state machines, interactions, use cases), which are clearly separated from their visual...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Design Automation for Embedded Systems
سال: 2019
ISSN: 0929-5585,1572-8080
DOI: 10.1007/s10617-019-09226-1