%0 Thesis %1 phd/dnb/Devarajegowda21 %A Devarajegowda, Keerthikumara %D 2021 %K dblp %T Model-based Generation of Assertions for Pre-silicon Verification.

@phdthesis{phd/dnb/Devarajegowda21, added-at = {2023-03-21T00:00:00.000+0100}, author = {Devarajegowda, Keerthikumara}, biburl = {https://www.bibsonomy.org/bibtex/29aba4ba629c0269629fe56bf8e0e76e6/dblp}, ee = {https://d-nb.info/1245856340}, interhash = {20bf790f5f1397713e57f4229fa7519b}, intrahash = {9aba4ba629c0269629fe56bf8e0e76e6}, keywords = {dblp}, school = {Kaiserslautern University of Technology, Germany}, timestamp = {2024-04-09T08:38:58.000+0200}, title = {Model-based Generation of Assertions for Pre-silicon Verification.}, year = 2021 }