2010, ISBN: 9783832289454

[ED: Taschenbuch], [PU: Shaker], In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word… More...

[ED: Taschenbuch], [PU: Shaker], In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word Level Framework), is presented. The framework is partitioned into an application layer, a core engine and a solver back-end. The motivation for this is on the one hand the easy adaptation of existing methods for new proof techniques. On the other hand, by building new applications on top of core data structures, both, the parsing front-ends and the solver back-end, can be reused. In this way, for a new algorithm there are a number of input languages (like SystemC [Syn08] and Verilog TM [Ver93]) and numerous state-of-the-art solvers directly available. WoLFram supports the design flow by providing applications on different level of abstraction. The input of WoLFram is a word level netlist (wlnetlist) that contains Boolean as well as word level operations. Synthesis tools for SystemC, Verilog TM , and Blif [Ele93] are available. Integrated applications are ranging from simulation, property checking and equivalence checking to algorithms for analyzing coverage, debugging and computing robustness. For each of these applications, several proof engines are available, in particular solvers for Boolean SAT, Pseudo Boolean SAT (PBS) as well as word level techniques, like SMT or Constraint Satisfaction Problem (CSP). WoLFram allows for a fair and easy evaluation of proof techniques to find the best suited solving paradigm for newly developed applications. Even for a single application it may be useful to apply alternative proof techniques on different types of designs., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 198, [GW: 272g], sofortueberweisung.de, PayPal, Banküberweisung<

2010, ISBN: 9783832289454

[ED: Taschenbuch], [PU: Shaker], In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word… More...

[ED: Taschenbuch], [PU: Shaker], In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word Level Framework), is presented. The framework is partitioned into an application layer, a core engine and a solver back-end. The motivation for this is on the one hand the easy adaptation of existing methods for new proof techniques. On the other hand, by building new applications on top of core data structures, both, the parsing front-ends and the solver back-end, can be reused. In this way, for a new algorithm there are a number of input languages (like SystemC [Syn08] and Verilog TM [Ver93]) and numerous state-of-the-art solvers directly available. WoLFram supports the design flow by providing applications on different level of abstraction. The input of WoLFram is a word level netlist (wlnetlist) that contains Boolean as well as word level operations. Synthesis tools for SystemC, Verilog TM , and Blif [Ele93] are available. Integrated applications are ranging from simulation, property checking and equivalence checking to algorithms for analyzing coverage, debugging and computing robustness. For each of these applications, several proof engines are available, in particular solvers for Boolean SAT, Pseudo Boolean SAT (PBS) as well as word level techniques, like SMT or Constraint Satisfaction Problem (CSP). WoLFram allows for a fair and easy evaluation of proof techniques to find the best suited solving paradigm for newly developed applications. Even for a single application it may be useful to apply alternative proof techniques on different types of designs., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 198, [GW: 272g], sofortueberweisung.de, PayPal, Banküberweisung<

ISBN: 9783832289454

In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word Level Framework), is presented. … More...

In this thesis a framework for the generic development of formal applications that are independent of the underlying proof technique, called WoLFram (Word Level Framework), is presented. The framework is partitioned into an application layer, a core engine and a solver back-end. The motivation for this is on the one hand the easy adaptation of existing methods for new proof techniques. On the other hand, by building new applications on top of core data structures, both, the parsing front-ends and the solver back-end, can be reused. In this way, for a new algorithm there are a number of input languages (like SystemC [Syn08] and Verilog TM [Ver93]) and numerous state-of-the-art solvers directly available.WoLFram supports the design flow by providing applications on different level of abstraction. The input of WoLFram is a word level netlist (wlnetlist) that contains Boolean as well as word level operations. Synthesis tools for SystemC, Verilog TM , and Blif [Ele93] are available. Integrated applications are ranging from simulation, property checking and equivalence checking to algorithms for analyzing coverage, debugging and computing robustness. For each of these applications, several proof engines are available, in particular solvers for Boolean SAT, Pseudo Boolean SAT (PBS) as well as word level techniques, like SMT or Constraint Satisfaction Problem (CSP). WoLFram allows for a fair and easy evaluation of proof techniques to find the best suited solving paradigm for newly developed applications. Even for a single application it may be useful to apply alternative proof techniques on different types of designs. Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Informatik & EDV, [PU: Shaker Verlag, Aachen]<

2010, ISBN: 9783832289454

Letzte Aktualisierung am: 05.08.19 06:12:28 Binding: Taschenbuch, Edition: 1, Label: Shaker, Publisher: Shaker, medium: Taschenbuch, numberOfPages: 198, publicationDate: 2010-03-01, autho… More...

Letzte Aktualisierung am: 05.08.19 06:12:28 Binding: Taschenbuch, Edition: 1, Label: Shaker, Publisher: Shaker, medium: Taschenbuch, numberOfPages: 198, publicationDate: 2010-03-01, authors: André Sülflow, languages: english, ISBN: 3832289453 Bücher, André Sülflow<

2010, ISBN: 3832289453

Kartoniert / Broschiert Boolean Satisfiability (SAT); Satisfiable Modulo Theory (SMT), mit Schutzumschlag neu, [PU:Shaker Verlag; Shaker]