Year of publication
Type of material
Licence
TIB reading rooms collection
Synonyms were used for: Hardware-Beschreibungssprache
Search without synonyms: keywords:("Hardware-Beschreibungssprache")
Used synonyms:
- device description languages
- geratebeschreibungssprache
- hardware description languages
- hardwarebeschreibungssprache
-
A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity
Free accessDataCite | 2019|Keywords: Hardware Description Languages, Hardware → Hardware description languages and compilation -
Modelling tools built upon the hardware description language foundation
IET | 2007|Keywords: hardware description languages -
SyReC: A hardware description language for the specification and synthesis of reversible circuits
Elsevier | 2015|Keywords: Hardware description languages -
Compact trajectory-based behavioural models for analogue circuits
IET | 2010|Keywords: hardware description languages -
Implementing Synthetic Aperture Radar Backprojection in Chisel – A Field Report
DataCite | 2022|Keywords: Hardware description languages -
Vdiff: a program differencing algorithm for Verilog hardware description language
Online Contents | 2012|Keywords: Hardware description languages -
A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity
Free accessBASE | 2019|Keywords: Hardware Description Languages -
Vdiff: a program differencing algorithm for Verilog hardware description language
Online Contents | 2012|Keywords: Hardware description languages -
Specification & Design Languages, 2009. FDL 2009. Forum on : 22-24 Sept. 2009
TIBKAT | 2009|Keywords: Computer hardware description languages -
Forum on Specification, Verification and Design Languages, 2008 : FDL 2008 ; Stuttgart, Germany, 23 - 25 Sept. 2008
TIBKAT | 2008|Keywords: Computer hardware description languages -
Automatic Derivation of Abstract Semantics From Instruction Set Descriptions
Free accessDataCite | 2012|Keywords: Hardware Description Languages -
Pi-Ware: Hardware Description and Verification in Agda
Free accessDataCite | 2018|Keywords: hardware description languages -
Distribution Management System and Control Architecture through a FPGA device for Electrical Distribution Feeders
Free accessBASE | 2016|Keywords: Hardware description languages -
Abstract modelling of asynchronous micropipeline systems using Rainbow
British Library Conference Proceedings | 1997|Keywords: computer hardware description languages, hardware description languages -
Verification of large systems in silicon
British Library Conference Proceedings | 1997|Keywords: 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|Keywords: computer hardware description languages, hardware description languages -
CTL and equivalent sublanguages of CTL
British Library Conference Proceedings | 1997|Keywords: computer hardware description languages, hardware description languages -
Algebra of communicating timing charts for describing and verifying hardware interfaces
British Library Conference Proceedings | 1997|Keywords: 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|Keywords: computer hardware description languages, hardware description languages -
Synchronous languages for hardware and software reactive systems
British Library Conference Proceedings | 1997|Keywords: computer hardware description languages, hardware description languages
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.