Deutsch
Deutschland
Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783832289454 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 48,80 €, größter Preis: 48,80 €, Mittelwert: 48,80 €
WoLFram - A Word Level Framework for Formal Verification and its Application - André Sülflow
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
André Sülflow:
WoLFram - A Word Level Framework for Formal Verification and its Application - Taschenbuch

ISBN: 9783832289454

[ED: Taschenbuch], [PU: Shaker Verlag], Neuware - 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, 211x149x14 mm, 198, [GW: 272g], PayPal, Banküberweisung, Internationaler Versand

Neues Buch Booklooker.de
buchversandmimpf2000
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 - Sülflow, André
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Sülflow, André:
WoLFram - A Word Level Framework for Formal Verification and its Application - Taschenbuch

3, ISBN: 3832289453

ID: 163459

1., Aufl. Paperback 198 S. Broschiert 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. ISBN 9783832289454 Boolean Satisfiability (SAT), Satisfiable Modulo Theory (SMT), Formal verification, mit Schutzumschlag neu, [PU:Shaker,]

Neues Buch Achtung-Buecher.de
Speyer & Peters GmbH, 12165 Berlin
Versandkosten:Versandkosten innerhalb der BRD (EUR 2.30)
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  1., Aufl. - Sülflow, André
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Sülflow, André:
WoLFram - A Word Level Framework for Formal Verification and its Application 1., Aufl. - Taschenbuch

3, ISBN: 9783832289454

ID: 163459

1., Aufl. 198 S. Paperback 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. ISBN 9783832289454 Versand D: 2,30 EUR Boolean Satisfiability (SAT), Satisfiable Modulo Theory (SMT), Formal verification, [PU:Shaker,]

gebrauchtes bzw. antiquarisches Buch Buchfreund.de
Speyer & Peters GmbH, 67593 Westhofen
Versandkosten:Versandkosten innerhalb der BRD (EUR 2.30)
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 - André Sülflow
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
André Sülflow:
WoLFram - A Word Level Framework for Formal Verification and its Application - Taschenbuch

ISBN: 9783832289454

[ED: Taschenbuch], [PU: Shaker Verlag], Neuware - 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, 211x149x14 mm, 198, [GW: 272g], Banküberweisung, PayPal

Neues Buch Booklooker.de
Carl Hübscher GmbH
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 - André Sülflow
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
André Sülflow:
WoLFram - A Word Level Framework for Formal Verification and its Application - Taschenbuch

2010, ISBN: 3832289453

ID: 17030064229

[EAN: 9783832289454], Neubuch, [SC: 0.0], [PU: Shaker Verlag Mrz 2010], Neuware - 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. 198 pp. Englisch

Neues Buch ZVAB.com
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch

Detailangaben zum Buch - WoLFram - A Word Level Framework for Formal Verification and its Application (Berichte aus der Informatik)


EAN (ISBN-13): 9783832289454
ISBN (ISBN-10): 3832289453
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Shaker Verlag

Buch in der Datenbank seit 08.02.2012 21:24:52
Buch zuletzt gefunden am 27.09.2017 23:11:05
ISBN/EAN: 9783832289454

ISBN - alternative Schreibweisen:
3-8322-8945-3, 978-3-8322-8945-4


< zum Archiv...
Benachbarte Bücher