How Long to Read Complete Symbolic Simulation of SystemC Models

How Long Does it Take to Read Complete Symbolic Simulation of SystemC Models?

It takes the average reader 2 hours and 43 minutes to read Complete Symbolic Simulation of SystemC Models by Vladimir Herdt

Assuming a reading speed of 250 words per minute. Learn more

Description

In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-terminating) SystemC programs. The approach combines symbolic simulation with stateful model checking and allows to verify safety properties in (cyclic) finite state spaces, by exhaustive exploration of all possible inputs and process schedulings. The state explosion problem is alleviated by integrating two complementary reduction techniques. Compared to existing approaches, the complete symbolic simulation works more efficiently, and therefore can provide correctness proofs for larger systems, which is one of the most challenging tasks, due to the ever increasing complexity.

How long is Complete Symbolic Simulation of SystemC Models?

Complete Symbolic Simulation of SystemC Models by Vladimir Herdt is 162 pages long, and a total of 40,824 words.

This makes it 55% the length of the average book. It also has 50% more words than the average book.

How Long Does it Take to Read Complete Symbolic Simulation of SystemC Models Aloud?

The average oral reading speed is 183 words per minute. This means it takes 3 hours and 43 minutes to read Complete Symbolic Simulation of SystemC Models aloud.

What Reading Level is Complete Symbolic Simulation of SystemC Models?

Complete Symbolic Simulation of SystemC Models is suitable for students ages 10 and up.

Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.

When deciding what to show young students always use your best judgement and consult a professional.

Where Can I Buy Complete Symbolic Simulation of SystemC Models?

Complete Symbolic Simulation of SystemC Models by Vladimir Herdt is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.

To buy Complete Symbolic Simulation of SystemC Models by Vladimir Herdt on Amazon click the button below.