Search Results - "Schönherr, Jens"

Analysis of Products of Animal Origin in Feeds by Determination of Carnosine and Related Dipeptides by High-Performance Liquid Chromatography by Schönherr, Jens

“…Products of animal origin such as meat meal were commonly used as sources of protein and amino acids for the production of compound feeds. Because the feeding…”
Get full text

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking by Schönherr, Jens, Freibothe, Martin, Straube, Bernd, Bormann, Jörg

“…In this article, a verification methodology for mixed-signal circuits is presented that can easily be integrated into industrial design flows. The proposed…”
Get full text

Automatic equivalence check of circuit descriptions at clocked algorithmic and register transfer level by Schonherr, J., Straube, B.

“…One of the big challenges in circuit design is the formal verification at clocked algorithmic or register-transfer level. To overcome the limits of BDD based…”
Get full text

Automated Formal Verification of Routing in Material Handling Systems by Klotz, Thomas, Schonherr, Jens, Sesler, Norman, Straube, Bernd, Turek, Karsten

“…The design of correctly implemented controls in material handling systems (MHS) is time consuming and cumbersome. The developer has to deal with an ever…”
Get full text

Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking by Freibothe, Martin, Schönherr, Jens, Straube, Bernd

“…This paper proposes a verification flow for mixed-signal circuits. The presented flow is based on ‘bounded model checking’, a formal verification method. The…”
Get full text

Compositional verification of material handling systems by Klotz, T., Sesler, N., Straube, B., Fordran, E., Turek, K., Schonherr, J.

“…The design of properly working material handling systems (MHS) is a difficult process as these systems consist of a vast number of single elements with…”
Get full text

On the formal verification of routing in material handling systems by Klotz, T., Sessler, N., Straube, B., Fordran, E., Turek, K., Schonherr, J.

“…The correct design of complex material handling systems (MHS) is a challenging task, mainly because of short development cycles and ever increasing system…”
Get full text

Hazard checking in pipelined processor designs using symbolic model checking by Schonherr, J., Schreiber, I., Fordran, E., Straube, B.

“…The high speed requirements on today's processors can be met by pipeline architectures, but pipeline structures cause hazards, which are their main drawback…”
Get full text