A bibliometric analysis of process system failure and reliability literature
This paper presents a bibliometric analysis of process system failure and reliability studies.
This analysis attempts to answer following questions, related to the evolution of failure and …
This analysis attempts to answer following questions, related to the evolution of failure and …
BDD-based synthesis of reversible logic for large functions
Reversible logic is the basis for several emerging technologies such as quantum computing,
optical computing, or DNA computing and has further applications in domains like low …
optical computing, or DNA computing and has further applications in domains like low …
[BOOK][B] Advanced formal verification
R Drechsler - 2004 - Springer
Modern circuits may contain up to several hundred million transistors. In the meantime it has
been observed that verification becomes the major bottleneck in design flows, ie up to 80 …
been observed that verification becomes the major bottleneck in design flows, ie up to 80 …
DSLs for decision services: a tutorial introduction to language-driven engineering
Abstract Language-Driven Engineering (LDE) is a new paradigm that aims at involving
stakeholders, including the application experts, in the system development and evolution …
stakeholders, including the application experts, in the system development and evolution …
Polynomial formal verification: Ensuring correctness under resource constraints
Recently, a lot of effort has been put into develo** formal verification approaches by both
academic and industrial research. In practice, these techniques often give satisfying results …
academic and industrial research. In practice, these techniques often give satisfying results …
Zero-suppressed BDDs and their applications
S Minato - International Journal on Software Tools for Technology …, 2001 - Springer
In many real-life problems, we are often faced with manipulating sets of combinations. In this
article, we study a special type of ordered binary decision diagram (OBDD), called zero …
article, we study a special type of ordered binary decision diagram (OBDD), called zero …
PolyAdd: Polynomial formal verification of adder circuits
R Drechsler - 2021 24th International Symposium on Design …, 2021 - ieeexplore.ieee.org
Only by formal verification approaches functional correctness can be ensured. While for
many circuits fast verification is possible, in other cases the approaches fail. In general no …
many circuits fast verification is possible, in other cases the approaches fail. In general no …
Binary decision diagrams
RE Bryant - Handbook of model checking, 2018 - Springer
Binary decision diagrams provide a data structure for representing and manipulating
Boolean functions in symbolic form. They have been especially effective as the algorithmic …
Boolean functions in symbolic form. They have been especially effective as the algorithmic …
Language-driven engineering: from general-purpose to purpose-specific languages
In this paper, we present the paradigm of Language-Driven Engineering (LDE), which is
characterized by its unique support for division of labour on the basis of Domain-Specific …
characterized by its unique support for division of labour on the basis of Domain-Specific …
Late breaking results: Polynomial formal verification of fast adders
Despite the recent success of formal verification methods, the computational complexity of
most of them is still unknown. It raises serious questions regarding the scalability of the …
most of them is still unknown. It raises serious questions regarding the scalability of the …