Scalable Equivalence Checking for Behavioral Synthesis

Yang, Zhenkun

Back to results

Portland State University

Scalable Equivalence Checking for Behavioral Synthesis

dc:creator Yang, Zhenkun

thesis:degree_name Doctor of Philosophy (Ph.D.) in Computer Science

Degree

thesis:*

Name thesis:degree_name: Doctor of Philosophy (Ph.D.) in Computer Science
Level thesis:degree_level: Dissertation

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Yang, Zhenkun
Contributors dc:contributor: Fei Xie

Subjects

dc:subject × 4

Identifiers

dc:identifier.*

Repository record dc:identifier: https://pdxscholar.library.pdx.edu/open_access_etds/2461
OAI identifier oai:identifier: oai:pdxscholar.library.pdx.edu:open_access_etds-3467

Chain of custody

source

Harvested from: Portland State University
Base URL: pdxscholar.library.pdx.edu/do/oai/
Last updated: 2026-07-27
Source record: OAI-PMH GetRecord

related terms

citation

Yang, Zhenkun. Scalable Equivalence Checking for Behavioral Synthesis. Dissertation thesis, https://pdxscholar.library.pdx.edu/open_access_etds/2461

Scalable Equivalence Checking for Behavioral Synthesis

Degree

Author and committee

Subjects

Identifiers

Chain of custody

More from Portland State University