Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Beschreibungssprache
Search without synonyms: keywords:("Beschreibungssprache")
Used synonyms:
- description language
- description languages
- specification and description languages
- specification languages
- spezifikationssprache
-
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 -
Towards a formal foundation of the specification and description language SDL
Online Contents | 1991|Keywords: Specification and description languages -
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification
Free accessBASE | 2021|Keywords: specification languages -
Incorporating cardinality constraints and synonym rules into conditional functional dependencies
Elsevier | 2009|Keywords: Specification languages -
SyReC: A hardware description language for the specification and synthesis of reversible circuits
Elsevier | 2015|Keywords: Hardware description languages -
Sibilla: A tool for reasoning about collective systems▪
Elsevier | 2024|Keywords: Specification languages -
Modelling tools built upon the hardware description language foundation
IET | 2007|Keywords: hardware description languages -
Compact trajectory-based behavioural models for analogue circuits
IET | 2010|Keywords: hardware description languages -
Long-run order-independence of vector-based transition systems
IET | 2011|Keywords: specification languages -
Full body movements recognition – unsupervised learning approach with heuristic R-GDL method
Elsevier | 2015|Keywords: Gesture Description Language, Reverse-Gesture Description Language -
Refactoring to improve the understandability of specifications written in object constraint language
IET | 2009|Keywords: specification languages -
Implementing Synthetic Aperture Radar Backprojection in Chisel – A Field Report
DataCite | 2022|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 -
Moving architectural description from under the technology lamppost
Elsevier | 2006|Keywords: Software architecture description languages -
Vdiff: a program differencing algorithm for Verilog hardware description language
Online Contents | 2012|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
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.