BEISPIEL
Sülflow, André:WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010
- Taschenbuch 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… Mehr…
[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<
| | booklooker.deBuchbär Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
BEISPIEL
Sülflow, André:WoLFram - A Word Level Framework for Formal Verification and its Application André Sülflow Taschenbuch Berichte aus der Informatik Englisch 2010
- Taschenbuch 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… Mehr…
[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<
| | booklooker.depreigu Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
WoLFram - A Word Level Framework for Formal Verification and its Application
- neues BuchISBN: 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. … Mehr…
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]<
| | Dodax.deNr. Versandkosten:, Lieferzeit: 11 Tage, DE. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Gebr. - WoLFram - A Word Level Framework for Formal Verification and its Application (Berichte aus der Informatik)
- neues Buch2010, 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… Mehr…
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<
| | medimops.deNr. M03832289453LibriNew. Versandkosten:, , zzgl. Versandkosten. Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Sülflow, André:WoLFram - A Word Level Framework for Formal Verification and its Application
- neues Buch 2010, ISBN: 3832289453
Kartoniert / Broschiert Boolean Satisfiability (SAT); Satisfiable Modulo Theory (SMT), mit Schutzumschlag neu, [PU:Shaker Verlag; Shaker]
| | Achtung-Buecher.deMARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.