Synthesis of Decoder Tables using Formal Verification Tools Author(s): Keerthikumara Devarajegowda, Johannes Schreiner, and Wolfgang Ecker Download