• Shop by category
  • Powered by eBay
  • Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of

    • Item No : 135781118120
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.03
    • * Item Description

    • Comparedto existing approaches, the complete symbolic simulation works more efficiently,and therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category