Approach for a Formal Verification of a Bit-serial Pipelined Architecture Chapter

authors

Krupp, Alexander

publication date

May 4, 2007

has subject area

published in

Springer eBooks

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-0-387-72258-0_5

start page

47

end page

56