J
Jörg Bormann
Researcher at Siemens
Publications - 30
Citations - 321
Jörg Bormann is an academic researcher from Siemens. The author has contributed to research in topics: Formal verification & High-level verification. The author has an hindex of 11, co-authored 30 publications receiving 309 citations. Previous affiliations of Jörg Bormann include Infineon Technologies.
Papers
More filters
Journal ArticleDOI
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants
TL;DR: It is shown how the existence of a main FSM can be exploited systematically in the reachability analysis and how to partition both the transition relation and the state space such that the computational complexity is reduced drastically.
Complete Formal Verification of TriCore2 and Other Processors
Jörg Bormann,Sven Beyer,Adriana Maggiore,Michael Siegel,Sebastian Skalberg,Tim Blackmore,Fabio Bruno +6 more
TL;DR: An innovative and powerful methodology for the complete formal verification of modules and intellectual property (IP) and its application to the verification of processor IP, which ensures that the IP is free of functional errors − the highest possible verification quality.
Proceedings ArticleDOI
Model Checking in Industrial Hardware Design
TL;DR: An application oriented specification language for assumption/commitment style properties and an abstraction algorithm that generates an intuitive and efficient representation of synchronous circuits that is embedded in the Circuit Verification Environment CVE.
Journal ArticleDOI
A New Formal Verification Approach for Hardware-dependent Embedded System Software
Patent
Method for the determination of the quality of a set of properties, usable for the verification and specification of circuits
Jörg Bormann,Holger Busch +1 more
TL;DR: In this article, a method for determining the quality of a quantity of properties describing a machine, including the existence of at least one sub-quantity of interrelated properties (P0, P1,... Pn) of the form Pi=(forall t. Ai(t)=>Zi(t)).