Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
Synonyme wurden verwendet für: hardware description languages
Suche ohne Synonyme: keywords:("hardware description languages")
Verwendete Synonyme:
- device description languages
- geratebeschreibungssprache
- hardware beschreibungssprache
- hardwarebeschreibungssprache
-
A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity
Freier ZugriffDataCite | 2019|Schlagwörter: Hardware Description Languages, Hardware → Hardware description languages and compilation -
Modelling tools built upon the hardware description language foundation
IET | 2007|Schlagwörter: hardware description languages -
SyReC: A hardware description language for the specification and synthesis of reversible circuits
Elsevier | 2015|Schlagwörter: Hardware description languages -
Compact trajectory-based behavioural models for analogue circuits
IET | 2010|Schlagwörter: hardware description languages -
Implementing Synthetic Aperture Radar Backprojection in Chisel – A Field Report
DataCite | 2022|Schlagwörter: Hardware description languages -
Vdiff: a program differencing algorithm for Verilog hardware description language
Online Contents | 2012|Schlagwörter: Hardware description languages -
A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity
Freier ZugriffBASE | 2019|Schlagwörter: Hardware Description Languages -
Specification & Design Languages, 2009. FDL 2009. Forum on : 22-24 Sept. 2009
TIBKAT | 2009|Schlagwörter: Computer hardware description languages -
Vdiff: a program differencing algorithm for Verilog hardware description language
Online Contents | 2012|Schlagwörter: Hardware description languages -
Forum on Specification, Verification and Design Languages, 2008 : FDL 2008 ; Stuttgart, Germany, 23 - 25 Sept. 2008
TIBKAT | 2008|Schlagwörter: Computer hardware description languages -
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions
Freier ZugriffDataCite | 2012|Schlagwörter: Hardware Description Languages -
Pi-Ware: Hardware Description and Verification in Agda
Freier ZugriffDataCite | 2018|Schlagwörter: hardware description languages -
Distribution Management System and Control Architecture through a FPGA device for Electrical Distribution Feeders
Freier ZugriffBASE | 2016|Schlagwörter: Hardware description languages -
Abstract modelling of asynchronous micropipeline systems using Rainbow
British Library Conference Proceedings | 1997|Schlagwörter: computer hardware description languages, hardware description languages -
Verification of large systems in silicon
British Library Conference Proceedings | 1997|Schlagwörter: computer hardware description languages, hardware description languages -
A formal proof of absence of deadlock for any acyclic network of PCI buses
British Library Conference Proceedings | 1997|Schlagwörter: computer hardware description languages, hardware description languages -
CTL and equivalent sublanguages of CTL
British Library Conference Proceedings | 1997|Schlagwörter: computer hardware description languages, hardware description languages -
Algebra of communicating timing charts for describing and verifying hardware interfaces
British Library Conference Proceedings | 1997|Schlagwörter: computer hardware description languages, hardware description languages -
A high-level language for programming complex temporal behaviors and its translation into synchronous circuits (poster abstract)
British Library Conference Proceedings | 1997|Schlagwörter: computer hardware description languages, hardware description languages -
Synchronous languages for hardware and software reactive systems
British Library Conference Proceedings | 1997|Schlagwörter: computer hardware description languages, hardware description languages
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.