Abstract
In conventional logic CAD and in equal measure also in quantum logic CAD, it is vital to ensure the correctness of the transformations and mappings throughout the design flow.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that only for QMDDs this is even true if the descriptions are not perfectly equal, i.e. they lead to identical transformation matrices, but are equal up to a global phase, i.e. the matrices are equal up to a multiplicative factor \(e^{i\theta }\). All other decision diagrams reviewed in Chap. 3 require much more effort to determine equivalence up to global phase—a phenomenon which frequently occurs in quantum logic design.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 The Author(s)
About this chapter
Cite this chapter
Niemann, P., Wille, R. (2017). Correctness of Multiple-Valued Implementations. In: Compact Representations for the Design of Quantum Logic. SpringerBriefs in Physics. Springer, Cham. https://doi.org/10.1007/978-3-319-63724-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-63724-2_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-63723-5
Online ISBN: 978-3-319-63724-2
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)