Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

PDF

Dissertations and Theses

2013

Discipline
Institution
Keyword

Articles 1 - 30 of 64

Full-Text Articles in Physical Sciences and Mathematics

Modeling Fecal Bacteria In Oregon Coastal Streams Using Spatially Explicit Watershed Characteristics, Paul Bryce Pettus Dec 2013

Modeling Fecal Bacteria In Oregon Coastal Streams Using Spatially Explicit Watershed Characteristics, Paul Bryce Pettus

Dissertations and Theses

Pathogens, such as Escherichia coli and fecal coliforms, are causing the majority of water quality impairments in U.S., making up ~87% of this grouping's violations. Predicting and characterizing source, transport processes, and microbial survival rates is extremely challenging, due to the dynamic nature of each of these components. This research built upon current analytical methods that are used as exploratory tools to predict pathogen indicator counts across regional scales. Using a series of non-parametric methodologies, with spatially explicit predictors, 6657 samples from non-estuarine lotic streams were analyzed to make generalized predictions of regional water quality. 532 frequently sampled sites in …


Scenario Development And Analysis Of Freshwater Ecosystem Services Under Land Cover And Climate Change In The Tualatin And Yamhill River Basins, Oregon, Robert Wesley Hoyer Dec 2013

Scenario Development And Analysis Of Freshwater Ecosystem Services Under Land Cover And Climate Change In The Tualatin And Yamhill River Basins, Oregon, Robert Wesley Hoyer

Dissertations and Theses

Humans make decisions within ecosystems to enhance their well-being, but choices can lead to unintended consequences. The ecosystem services (ES) approach supports decision-making that considers all environmental goods and services. Many challenges remain in the implementation of the ES approach like how specific ES vary through space and time. We address this research problem using the Tualatin and Yamhill river basins in northwestern Oregon as a study area. Freshwater ES are quantified and mapped with the spatially-explicit ES modeling tool, Integrated Valuation of Ecosystem Services and Tradeoffs (InVEST). In chapter II, we develop a simple urban land cover change modeling …


Identification And Characterization Of Fine Particulate Matter Hot Spots On An Urban Arterial Corridor Integrating Probe Vehicle, Traffic And Land Use Data, Katherine Eleanor Bell Dec 2013

Identification And Characterization Of Fine Particulate Matter Hot Spots On An Urban Arterial Corridor Integrating Probe Vehicle, Traffic And Land Use Data, Katherine Eleanor Bell

Dissertations and Theses

The purpose of this study is to explore the use of integrated probe vehicle, traffic and land use data to identify and characterize fine particulate matter (PM[subscript 2.5]) hot spot locations on urban arterial corridors. In addition, a preliminary analysis is conducted to consider volatile organic compound (VOC) hot spot locations. A pollutant hot spot is defined as a location on a corridor in which the mean pollutant concentrations are consistently above the 85th percentile of pollutant concentrations when compared to all locations along the corridor. In order to collect data for this study, an electric vehicle was equipped with …


Soil Development And Vegetation Response To Removal Of A Small Dam, Lassen Volcanic National Park, California, Stephanie Kay Rohdy Dec 2013

Soil Development And Vegetation Response To Removal Of A Small Dam, Lassen Volcanic National Park, California, Stephanie Kay Rohdy

Dissertations and Theses

Dam removal is increasing as dams age, yet little is understood about the pedogenic response to dam removal. This study reports on the edaphic changes of reservoir sediments and vegetation cover one year following removal of a small earthen dam in Northern California. In August 2012, I sampled surface sediments from the former Dream Lake reservoir in Lassen Volcanic National Park, and compared their physical and chemical properties with soil samples from two reference sites. I also estimated percent cover of vegetation in the former reservoir and reference sites. My results show that the reservoir was under reduced conditions, as …


Investigation Of The Structure And Dynamics Of Regioisomeric Eu³⁺ And Gd³⁺ Chelates Of Nb-Dotma: Implications For Mri Contrast Agent Design, Benjamin Charles Webber Nov 2013

Investigation Of The Structure And Dynamics Of Regioisomeric Eu³⁺ And Gd³⁺ Chelates Of Nb-Dotma: Implications For Mri Contrast Agent Design, Benjamin Charles Webber

Dissertations and Theses

The detection of disease and abnormal pathology by magnetic resonance imaging (MRI) has been aided significantly by the use of gadolinium (Gd3+)-based contrast agents (CAs) over the past three decades. MRI and MRI CAs play a critical role in diagnosing tumors and diseases of the central nervous system. The agents used clinically have been shown to safely increase MRI contrast despite the toxicity of Gd3+, owing to the high kinetic and thermodynamic stability of these chelates. However, current CAs enhance contrast at a small fraction of what is theoretically possible. This leads to the necessity of …


Methyl Halide Production By Calcareous Periphyton Mats From The Florida Everglades, Ann Eileen Raffel Oct 2013

Methyl Halide Production By Calcareous Periphyton Mats From The Florida Everglades, Ann Eileen Raffel

Dissertations and Theses

Methyl halides are trace gases with both natural and anthropogenic origins. Once generated, these gases transport chlorine and bromine into the stratosphere, where they play an important role in ozone depleting catalytic cycles. The Florida Everglades is one location where methyl halide emissions have been proposed to be elevated due to high primary production and ionic halogens. This region also provides a unique study environment due to salt water intrusions, which occur during storm or low marsh water level-high tide events. The purpose of this research was twofold. First, quantification of methyl chloride (CH3Cl) and methyl bromide (CH …


Optics And Spectroscopy In Massive Electrodynamic Theory, Adam Caccavano Oct 2013

Optics And Spectroscopy In Massive Electrodynamic Theory, Adam Caccavano

Dissertations and Theses

The kinematics and dynamics for plane wave optics are derived for a massive electrodynamic field by utilizing Proca's theory. Atomic spectroscopy is also examined, with the focus on the 21 cm radiation due to the hyperfine structure of hydrogen. The modifications to Snell's Law, the Fresnel formulas, and the 21 cm radiation are shown to reduce to the familiar expressions in the limit of zero photon mass.


Evaluation Of Phase Change Materials For Cooling In A Super-Insulated Passive House, Jeffrey Stephen Lauck Oct 2013

Evaluation Of Phase Change Materials For Cooling In A Super-Insulated Passive House, Jeffrey Stephen Lauck

Dissertations and Theses

Due to factors such as rising energy costs, diminishing resources, and climate change, the demand for high performance buildings is on the rise. As a result, several new building standards have emerged including the Passive House Standard, a rigorous energy-use standard based on a super-insulated and very tightly sealed building envelope. The standard requires that that air infiltration is less than or equal to 0.6 air changes per hour at a 50 Pascal pressure difference, annual heating energy is less than or equal to 15kWh/m2, and total annual source energy is less than or equal to 120 kWh/m2. A common …


Trust-But-Verify: Guaranteeing The Integrity Of User-Generated Content In Online Applications, Akshay Dua Sep 2013

Trust-But-Verify: Guaranteeing The Integrity Of User-Generated Content In Online Applications, Akshay Dua

Dissertations and Theses

Online applications that are open to participation lack reliable methods to establish the integrity of user-generated information. Users may unknowingly own compromised devices, or intentionally publish forged information. In these scenarios, applications need some way to determine the "correctness" of autonomously generated information. Towards that end, this thesis presents a "trust-but-verify" approach that enables open online applications to independently verify the information generated by each participant. In addition to enabling independent verification, our framework allows an application to verify less information from more trustworthy users and verify more information from less trustworthy ones. Thus, an application can trade-off performance for …


Characterization Of Secondary Organic Aerosol Precursors Using Two-Dimensional Gas Chromatography With Time Of Flight Mass Spectrometry (Gc×Gc/Tofms), Melissa Jordan Roskamp Sep 2013

Characterization Of Secondary Organic Aerosol Precursors Using Two-Dimensional Gas Chromatography With Time Of Flight Mass Spectrometry (Gc×Gc/Tofms), Melissa Jordan Roskamp

Dissertations and Theses

The oxidation of volatile organic compounds (VOCs) plays a role in both regional and global air quality through the formation of secondary organic aerosols (SOA). More than 1000TgC/yr of non-methane VOCs are emitted from biogenic sources (significantly greater than from anthropogenic sources). Despite this magnitude and potential importance for air quality, the body of knowledge around the identities, quantities and oxidation processes of these compounds is still incomplete (e.g., Goldstein & Galbally, 2007; Robinson et al., 2009). Two-dimensional gas chromatography paired with time-of-flight mass spectrometry (GC×GC/TOFMS) is a powerful analytical technique which is explored here for its role in better …


Thinking Aloud In The Science Classroom: Can A Literacy Strategy Increase Student Learning In Science?, Lindsey Joan Mockel Aug 2013

Thinking Aloud In The Science Classroom: Can A Literacy Strategy Increase Student Learning In Science?, Lindsey Joan Mockel

Dissertations and Theses

This research study investigated the effect of using the think aloud protocol while reading informational text on students' ability to learn from text in a secondary science classroom. The participants in this study were high school students (n=47) in three classes of a mixed-grade Integrated Biology, Chemistry, and Physics course. The study tracked student achievement during a four-week curriculum unit on the theory of evolution and evidence for biological evolution. All students received instruction on using the think aloud protocol, and all students practiced the think aloud protocol when reading short articles related to scientific evidence for evolution. The researcher …


Faulty Measurements And Shaky Tools: An Exploration Into Hazus And The Seismic Vulnerabilities Of Portland, Or, Brittany Ann Brannon Aug 2013

Faulty Measurements And Shaky Tools: An Exploration Into Hazus And The Seismic Vulnerabilities Of Portland, Or, Brittany Ann Brannon

Dissertations and Theses

Events or forces of nature with catastrophic consequences, or "natural disasters," have increased in both frequency and force due to climate change and increased urbanization in climate-sensitive areas. To create capacity to face these dangers, an entity must first quantify the threat and translate scientific knowledge on nature into comprehensible estimates of cost and loss. These estimates equip those at risk with knowledge to enact policy, formulate mitigation plans, raise awareness, and promote preparedness in light of potential destruction. Hazards-United States, or Hazus, is one such tool created by the federal government to estimate loss from a variety of threats, …


Incorporating Chemical Activity And Relative Humidity Effects In Regional Air Quality Modeling Of Organic Aerosol Formation, Marguerite Colasurdo Marks Aug 2013

Incorporating Chemical Activity And Relative Humidity Effects In Regional Air Quality Modeling Of Organic Aerosol Formation, Marguerite Colasurdo Marks

Dissertations and Theses

Atmospheric particulate matter is known to have significant effects on human health, visibility, and global climate. The magnitudes of these effects, however, depend in complex ways on chemical composition, relative humidity, temperature, phase state, and other parameters. Current regional air quality models such as CMAQ (Community Multiscale Air Quality model) ignore many of these considerations, and consider that the formation of secondary organic aerosol (SOA) can be calculated by assuming thermodynamic ideality in the organic particulate matter (OPM) phase as well as negligible uptake of water into the OPM phase. Theoretical predictions and model simulations considering non-ideality and water uptake …


Ccaat/Enhancer-Binding Protein Delta (C/Ebp-Delta) Expression In Antarctic Fishes: Implications For Cell Cycle And Apoptosis, Isaac Martin Sleadd Aug 2013

Ccaat/Enhancer-Binding Protein Delta (C/Ebp-Delta) Expression In Antarctic Fishes: Implications For Cell Cycle And Apoptosis, Isaac Martin Sleadd

Dissertations and Theses

Chapter 1: Antarctic fishes are extremely cold adapted. Despite their inability to upregulate heat shock proteins, recent studies have demonstrated a capacity for heat response in these animals. A cDNA microarray study looked at the Notothenioid fish Trematomus bernacchii and revealed heat sensitivities for hundreds of genes, two of which code for members of the CCAAT/Enhancer-binding protein (C/EBP) family of transcription factors. These molecular switches are best known for their roles in apoptosis, inflammation and cell cycle arrest. This dissertation further elucidates the role of C/EBP-delta in the Antarctic fishes T. bernacchii and Pagothenia borchgrevinki.

Chapter 2: C/EBP-delta is constitutively …


Elementary Teacher Candidates' Images Of Mathematics, Diverse Students, And Teaching: An Exploratory Study With Implications For Culturally Responsive Mathematics Education, Bernd Richard Ferner Aug 2013

Elementary Teacher Candidates' Images Of Mathematics, Diverse Students, And Teaching: An Exploratory Study With Implications For Culturally Responsive Mathematics Education, Bernd Richard Ferner

Dissertations and Theses

Children from many culturally diverse backgrounds do not achieve in mathematics at the same rates as their counterparts from the dominant White, European-American culture (Gay, 2010). This so-called achievement gap is an artifact of an educational system that continues to fail to provide equal learning opportunities to culturally diverse children (Ladson-Billings, 2006; Nieto & Bode, 2011). Teachers who employ culturally responsive teaching (Gay, 2010) may help to close this opportunity gap and hence, the achievement gap. This study investigated, "How do elementary teacher candidates perceive teaching mathematics in a multicultural environment"; Using a critical constructivism research paradigm, this qualitative instrumental …


Substituent Effects On Reactivity And Allergenicity Of Benzoquinone, Wilbes Mbiya Aug 2013

Substituent Effects On Reactivity And Allergenicity Of Benzoquinone, Wilbes Mbiya

Dissertations and Theses

Benzoquinone (BQ) is an extremely potent electrophilic contact allergen that haptenates endogenous proteins through Michael addition (MA). It is also hypothesized that BQ may haptenate proteins via free radical formation. The objective of this study was to assess the inductive effects (activating and deactivating) of substituents on BQ reactivity and the mechanistic pathway of covalent binding to nucleophilic thiols. The BQ binding by Cys34 on human serum albumin was studied, and for reactivity studies, nitrobenzenethiol (NBT) was used as a surrogate for protein binding of the BQ and benzoquinone derivatives (BQD). Stopped flow techniques were used to determine pseudo-first order …


The Role Of Wood Microsites At Timberline-Alpine Meadow Borders For Conifer Regeneration, Adelaide Chapman Johnson Aug 2013

The Role Of Wood Microsites At Timberline-Alpine Meadow Borders For Conifer Regeneration, Adelaide Chapman Johnson

Dissertations and Theses

This research aimed to determine whether wood microsites ("nurse logs"), which are regeneration sites in Pacific Northwest (PNW) subalpine forests, supported regeneration at timberline-alpine meadow borders. Upward advance of forests and conifer invasion into alpine meadows, which may be occurring in conjunction with climate warming, have gained worldwide attention. Successful alpine meadow seedling regeneration depends on suitable substrate availability, or microsites, for seedling establishment. To better understand factors associated with wood microsite occurrence, mechanisms of wood input were determined and four specific hypotheses were posed to assess: (1) seedling density and seedling survival; (2) growing season length, summer mean growing …


Social-Ecological Dynamics Of Coral Reef Resource Use And Management, Sarah J. Freed Jul 2013

Social-Ecological Dynamics Of Coral Reef Resource Use And Management, Sarah J. Freed

Dissertations and Theses

This dissertation investigates social and ecological factors that facilitate effective management of coral reefs as social-ecological systems. Meta-analytical and field-based methods were employed to examine current management challenges and identify strategies that improve management effectiveness and coral reef health. A meta-analysis was used to evaluate biological indicators of reef health in relation to the types of fishing regulations in place (no-take areas, gear restriction areas, and periodic closures) and the actor groups (community-based, co-management, state, private) involved in management efforts for coral reef fisheries throughout the world. Other than enhancement of fish biomass within no-take areas that was significantly greater …


Natural Area Stewardship Volunteers: Motivations, Attitudes, Behaviors, Corinne Handelman Jul 2013

Natural Area Stewardship Volunteers: Motivations, Attitudes, Behaviors, Corinne Handelman

Dissertations and Theses

To better understand the value of those who engage in environmental stewardship of natural areas, we studied volunteer steward's motivation to participate, their sustainable behaviors and attitudes toward stewardship-related constructs. Specifically, we designed and conducted a survey of volunteers who work as stewards in urban natural areas in Portland, Oregon. We hypothesize that as volunteer frequency increases: participants will be more motivated to participate for environmental reasons, volunteers will be more likely to feel a strong connection to the stewardship site, participants will be more likely to engage in public pro-environmental behaviors, and their level of environmental literacy will increase. …


Characterization Of The Shallow Subsurface Geohydrology Of The Ni-Les'tun Unit On The Bandon Marsh National Wildlife Refuge, Christopher Madison Beard Jul 2013

Characterization Of The Shallow Subsurface Geohydrology Of The Ni-Les'tun Unit On The Bandon Marsh National Wildlife Refuge, Christopher Madison Beard

Dissertations and Theses

The Bandon Marsh is a large marsh restoration project located in southwest Oregon. The land has been previously used for dairy farms and much of the marsh was used for cattle grazing. The goal of the restoration is to recreate a natural habitat for shorebirds and fish. The purpose of this thesis is to gather and analyze data on the geology of the marsh and both ground and surface water quality to evaluate its ability to support biology.

The US Fish and Wildlife Service began restoration on the Bandon marsh in 2005. Research on the Ni-les'tun Unit began in that …


Pinhole Neutral Atom Microscopy, Philip James Witham Jul 2013

Pinhole Neutral Atom Microscopy, Philip James Witham

Dissertations and Theses

This work presents a new form of microscopy, the instrument constructed to demonstrate it, the images produced and the image contrast mechanisms seen for the first time. Some of its future scientific potential is described and finally, recent work towards advancing the method is discussed.

Many forms of microscopy exist, each with unique advantages. Of several broad categories that they could be grouped into, those that use particle beams have proven very generally useful for micro and nano-scale imaging, including Scanning Electron, Transmission Electron, and Ion Beam microscopes. These have the disadvantage, however, of implanting electric charges into the sample, …


Grounding Zone Processes: Ice Mechanics And Margin Lakes, Kamb Ice Stream And Whillans Ice Stream, West Antarctica, Mason Joseph Fried Jul 2013

Grounding Zone Processes: Ice Mechanics And Margin Lakes, Kamb Ice Stream And Whillans Ice Stream, West Antarctica, Mason Joseph Fried

Dissertations and Theses

The lateral "corners" where Kamb and Whillans Ice Streams (KIS and WIS) discharge into the Ross Ice Shelf share common geometries and ice mechanical settings. At both corners of the now-stagnant KIS outlet, shear margins of apparently different ages confine regions with a relatively flat, smooth surface expression. These features are called the "Duckfoot" on the northern, right-lateral side and the "Goosefoot" on the other. It has been suggested, on evidence found in ice internal layers, that the flat ice terrains on KIS were afloat in the recent past, at a time when the ice stream grounding line was upstream …


Arsenic Mobility And Compositional Variability In High-Silica Ash Flow Tuffs, Courtney Beth Young Savoie Jul 2013

Arsenic Mobility And Compositional Variability In High-Silica Ash Flow Tuffs, Courtney Beth Young Savoie

Dissertations and Theses

Volcanic rocks typically have only low to moderate arsenic concentrations, none-the-less, elevated levels of arsenic in ground waters have been associated with pyroclastic and volcaniclastic rocks and sediments in many parts of the world. The potential for arsenic leaching from these deposits is particularly problematic as they often comprise important water-bearing units in volcanic terrains. However, the role that chemical and mineralogical variations play in controlling the occurrence and mobility of arsenic from pyroclastic rocks is largely unexplored.

This study uses chemical and X-ray diffraction data to characterize and classify 49 samples of ash-flow tuffs, and 11 samples of tuffaceous …


Developing Thyronamine Analog Pharmaceuticals Targeting Taar1 To Treat Methamphetamine Addiction, Troy Andrew Wahl Jul 2013

Developing Thyronamine Analog Pharmaceuticals Targeting Taar1 To Treat Methamphetamine Addiction, Troy Andrew Wahl

Dissertations and Theses

As a part of the overall program in the Grandy laboratory at Oregon Health & Science University (OHSU), studying the underlying chemical biology of methamphetamine (Meth) addiction, this dissertation reports on the development of six new thyronamine analogs which were synthesized and assayed against trace amine associated receptor 1 (TAAR1), giving preliminary results consistent with the analogs being inverse agonists. Due to highly variable TAAR1 expression levels in the assays, based on inter-assay response to control Meth stimulation as well as other possible factors, kinetic models were developed to qualitatively explain the assay results. The models set approximate limits on …


A Parabolic Equation Analysis Of The Underwater Noise Radiated By Impact Pile Driving, Nathan Laws Jul 2013

A Parabolic Equation Analysis Of The Underwater Noise Radiated By Impact Pile Driving, Nathan Laws

Dissertations and Theses

Impact pile driving can produce extremely high underwater sound levels, which are of increasing environmental concern due to their deleterious effects on marine wildlife. Prediction of underwater sound levels is important to the assessment and mitigation of the environmental impacts caused by pile driving. Current prediction methods are limited and do not account for the dynamic pile driving source, inhomogeneities in bathymetry and sediment, or physics-based sound wave propagation.

In this thesis, a computational model is presented that analyzes and predicts the underwater noise radiated by pile driving and is suitable for shallow, inhomogeneous environments and long propagation ranges. The …


Hydrogeologic Characterization Of Dutch Canyon, Scappoose, Oregon, Derrick Lee Wagner Jul 2013

Hydrogeologic Characterization Of Dutch Canyon, Scappoose, Oregon, Derrick Lee Wagner

Dissertations and Theses

Dutch Canyon is located directly west of the City of Scappoose in Columbia County Oregon. This area is proximate to Highway 30, a major access corridor to downtown Portland, and is experiencing a population increase, which is expected to continue and likely accelerate. As a result, there is growing pressure on water resources. Individual and community efforts to utilize groundwater resources have been hampered by generally poor groundwater yields and water quality concerns outside of the Columbia River corridor and a lack of published hydrogeologic information for the region.

The intent of this study is to identify the water-bearing units …


Crystallographic Image Processing With Unambiguous 2d Bravais Lattice Identification On The Basis Of A Geometric Akaike Information Criterion, Taylor Thomas Bilyeu Jul 2013

Crystallographic Image Processing With Unambiguous 2d Bravais Lattice Identification On The Basis Of A Geometric Akaike Information Criterion, Taylor Thomas Bilyeu

Dissertations and Theses

Crystallographic image processing (CIP) is a technique first used to aid in the structure determination of periodic organic complexes imaged with a high-resolution transmission electron microscope (TEM). The technique has subsequently been utilized for TEM images of inorganic crystals, scanning TEM images, and even scanning probe microscope (SPM) images of two-dimensional periodic arrays. We have written software specialized for use on such SPM images. A key step in the CIP process requires that an experimental image be classified as one of only 17 possible mathematical plane symmetry groups. The current methods used for making this symmetry determination are not entirely …


Interspecific Variation In Leaf-Level Biogenic Emissions Of The Bambuseae, Andrea Natalie Melnychenko Jun 2013

Interspecific Variation In Leaf-Level Biogenic Emissions Of The Bambuseae, Andrea Natalie Melnychenko

Dissertations and Theses

Plants emit a diverse range of biogenic volatile organic compounds (BVOCs) into the atmosphere, of which isoprene is the most abundantly emitted. Isoprene significantly affects biological and atmospheric processes, but the range of isoprene and BVOCs present in bamboos has not been well characterized. In this thesis I explore the range of isoprene emission found in bamboos and relate it to plant morphological and physiological characteristics. In addition, I measure and relate the entire suite of BVOCs present in the bamboos to their fundamental isoprene emission rate.

Interspecific variation in isoprene emission documented in a comprehensive survey of bamboos. Two …


Preserving Nature Through Film: Wilderness Alps Of Stehekin And The North Cascades, 1956-1968, Nicolas Timothy Bergmann Jun 2013

Preserving Nature Through Film: Wilderness Alps Of Stehekin And The North Cascades, 1956-1968, Nicolas Timothy Bergmann

Dissertations and Theses

On March 22, 1958 David Brower's film Wilderness Alps of Stehekin premiered to an audience of conservationists in Seattle, Washington. Almost two years in the making, the thirty-one minute film advocated the preservation of nature in Washington's North Cascades through the creation of a national park. Over the next decade, Wilderness Alps of Stehekin became the most influential publicity tool in the struggle to preserve the North Cascades. Because of the region's geographic isolation, the film was the first time many people throughout the nation were exposed to the scenic grandeur of the area. Images of craggy peaks and colorful …


Equivalence Checking For High-Assurance Behavioral Synthesis, Kecheng Hao Jun 2013

Equivalence Checking For High-Assurance Behavioral Synthesis, Kecheng Hao

Dissertations and Theses

The rapidly increasing complexities of hardware designs are forcing design methodologies and tools to move to the Electronic System Level (ESL), a higher abstraction level with better productivity than the state-of-the-art Register Transfer Level (RTL). Behavioral synthesis, which automatically synthesizes ESL behavioral specifications to RTL implementations, plays a central role in this transition. However, since behavioral synthesis is a complex and error-prone translation process, the lack of designers' confidence in its correctness becomes a major barrier to its wide adoption. Therefore, techniques for establishing equivalence between an ESL specification and its synthesized RTL implementation are critical to bring behavioral synthesis …