{"title":"Robert B Jones","description":null,"products":[{"product_id":"symbolic-simulation-methods-for-industrial-formal-verification-book-robert-b-jones-9781402071034","title":"Symbolic Simulation Methods for Industrial Formal Verification","description":"Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates. The second approach is applied at a high-level of abstraction and is used for high-level descriptions of designs.   The book contains three main topics:     Self consistency, a technique for deriving a formal specification of design behavior from the design itself;  The use of the parametric representation to encode predicates as functional vectors for symbolic simulation, an important step in addressing the state-explosion problem;  Incremental flushing, a method used to verify high-level descriptions of out-of-order execution.  Symbolic Simulation Methods for Industrial Formal Verification concludes with work on verification of simplified models of out-of-order processors.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52130510307601,"sku":"NLS9781402071034","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402071034.jpg?v=1757504058"},{"product_id":"symbolic-simulation-methods-for-industrial-formal-verification-book-robert-b-jones-9781461353959","title":"Symbolic Simulation Methods for Industrial Formal Verification","description":"Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates. The second approach is applied at a high-level of abstraction and is used for high-level descriptions of designs.   The book contains three main topics:     Self consistency, a technique for deriving a formal specification of design behavior from the design itself;  The use of the parametric representation to encode predicates as functional vectors for symbolic simulation, an important step in addressing the state-explosion problem;  Incremental flushing, a method used to verify high-level descriptions of out-of-order execution.  Symbolic Simulation Methods for Industrial Formal Verification concludes with work on verification of simplified models of out-of-order processors.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52337034494225,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52337035084049,"sku":"NLS9781461353959","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461353959.jpg?v=1758165332"},{"product_id":"jean-toomer-book-robert-b-jones-9780870499388","title":"Jean Toomer","description":"\u003cp\u003e\"This book is what scholars of American and African American literature have needed for quite some time. Robert B. Jones's selection of materials is excellent, and his expert ordering reveals that breadth and evolution of Jean Toomer's thought over several decades. This collection will considerably enlarge our understanding of the author whose reputation remains tied, in large part, to Cane.\"--Rudolph P. Byrd, Emory University\u003c\/p\u003e \u003cp\u003e\"Like the intertextual relations between 'black-authored' and 'white-authored' literary works, the relationships between Black and White intellectuals in New York in the 1910s and 1920s, both personally and intellectually, were far more fluid and complex--and productive--than American scholarship has acknowledged. The essays collected here enhance such acknowledgment considerably, with implications for the transformation of our understanding of American modernism as well as the interracial cultural history o the United States. Certainly, such was Robert Jones's large and generous aim in creating this important book.\"--from the Foreword by Georg Hutchinson\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53183266062609,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":53183266291985,"sku":"NGR9780870499388","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780870499388.jpg?v=1772282928"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-robert-b-jones.oembed","provider":"World of Books ","version":"1.0","type":"link"}