Abstract: A method of compiling a verification system including a logic system design and a test bench for verifying the logic system design includes: receiving a description of the verification system, parsing the description of the verification system using a first parser and a second parser to generate a first intermediate representation (IR) and a second IR, respectively; analyzing the first and second IRs to generate exchange information; optimizing at least one of the first IR or the second IR based on the exchange information; and generating a first implementable code and a second implementable code respectively based on the first and second IRs after the optimization, wherein the first and second IRs are related by a connection point, and the exchange information is associated with the connection point.

Abstract: A method of verifying an integrated circuit (IC) design includes: obtaining a description of the IC design; determining whether the IC design includes a combinational loop based on the description, where the combinational loop includes an output and an input connected to the output; and in response to the IC design including the combinational loop, unrolling the combinational loop into an unrolled loop, the unrolled loop including: a first iteration and a second iteration connected to form the unrolled loop, where the first iteration includes a first output and a first input, the second iteration includes a second output and a second input, and the second output is connected to the first input; and a register connected between the first input and the second output; and verifying the IC design with the unrolled loop.

Abstract: A method for dynamically adjusting a root clock frequency of a logic system design on an emulation system comprises: identifying a plurality of signal paths from one of a plurality of signal inputs of the logic system design to one of a plurality of signal outputs of the logic system design, each of the plurality of signal paths having a signal propagation delay; determining a state of an input signal to a target signal input in a current root clock cycle; determining a target signal path based on the state of the target signal input in the current root clock cycle and one or more logic devices along each signal path associated with the target signal input; and determining the root clock frequency based on a longest signal propagation delay of the signal propagation delays of the plurality of signal paths excluding the target signal path.

Abstract: A method for dynamically adjusting a root clock frequency of a logic system design on an emulation system comprises: identifying a plurality of signal paths from one of a plurality of signal inputs of the logic system design to one of a plurality of signal outputs of the logic system design, each of the plurality of signal paths having a signal propagation delay; determining a state of an input signal to a target signal input in a current root clock cycle; determining a target signal path based on the state of the target signal input in the current root clock cycle and one or more logic devices along each signal path associated with the target signal input; and determining the root clock frequency based on a longest signal propagation delay of the signal propagation delays of the plurality of signal paths excluding the target signal path.

Abstract: A method of operating a scanning thermal microscopy probe to model thermal contact resistance at an interface between a sample and a tip of the probe includes providing a sample to be measured; providing a scanning thermal microscopy probe including a tip; contacting the sample to be measured with the tip; and determining, with a model, a thermal conductivity (k) of the sample from a probe current (I) of the scanning thermal microscopy probe.

Abstract: A process is provided for preparing a thermally conductive polymer composite. The method includes the steps of combining a linear, hydrophilic polymer and an organic, hydrophilic additive to form a blend. The additive includes at least two polar functional groups that are capable of forming hydrogen bonds. A thermally conductive polymer is also provided.

Abstract: A method of operating a scanning thermal microscopy probe to model thermal contact resistance at an interface between a sample and a tip of the probe includes providing a sample to be measured; providing a scanning thermal microscopy probe including a tip; contacting the sample to be measured with the tip; and determining, with a model, a thermal conductivity (k) of the sample from a probe current (I) of the scanning thermal microscopy probe.

Abstract: In one or more embodiments, the present invention provides a heat dissipating polymer materials (and films thereof) that utilize supramolecular chemistry. In various embodiments, these materials comprise networks of hydrogen bonded supramolecular crystals, self-assembled into aligned 2-D layered sheet structures that are distributed throughout a polymer matrix. In some of these embodiments, the heat dissipating polymer materials are prepared by in-situ co-precipitation of melamine and cyanuric acid in a PVA polymer resulting in homogenous distribution of MC crystals and the eventual formation of a network of hydrogen bonded melamine-cyanurate (MC) 2-D layered sheet structures throughout the PVA polymer.

Abstract: In various embodiments, the present invention is directed to polymer based heat dissipating materials and films that are highly elastic, thermally conductive and optically transparent and made using a non-conventional approach. The polymer based heat dissipating materials and films of the present invention use a hybrid filler comprising a very small loading of traditional fillers like boron nitride or graphene oxide combined with non-conventional fillers like organic linkers, dispersed in a preferably non-conductive polymer matrix. These hybrid fillers provide an elastic thermal network that drives heat conduction across the polymer chains, while provided flexibility and optical clarity.

Abstract: A computer-implemented method generates a plurality of clusters based on components included in a design under test (DUT); classifies a subset of clusters of the plurality of clusters as tangled clusters; modifies at least two tangled clusters of the subset of clusters based on overlap between the at least two tangled clusters; determines, for each tangled cluster in the subset of clusters, a gate count based on the interconnectivity of the tangled cluster; and partitions the DUT among a plurality of field-programmable gate arrays (FPGAs) based on the gate count determined for each tangled cluster from the subset of clusters.

Abstract: In various embodiments, the present invention provides a relatively low cost and substantially chemical free method of making high surface area mesoporous carbon (as well as novel mesoporous carbon hollow tube (MCHT) structures made thereby) utilizing the cellulose framework found in natural wood and/or other plant fibers to make porous carbon structures. In some embodiments, the present invention will provide porous carbon structures having higher surface area than porous carbon structures made using prior art template methods, higher adsorption capacity than commercial activated carbon, and, in some embodiments, excellent electrochemical capacitance and storage capabilities. These new carbon materials may be adapted for a wide variety of uses including such things as removal of both inorganic and organic toxic pollutants from water, energy storage/conversion, supercapacitor electrodes for electrochemical energy storage, adsorption, and catalysis.

Abstract: A process is provided for preparing a thermally conductive polymer composite. The method includes the steps of combining a linear, hydrophilic polymer and an organic, hydrophilic additive to form a blend. The additive includes at least two polar functional groups that are capable of forming hydrogen bonds. A thermally conductive polymer is also provided.

Abstract: A computer-implemented method generates a plurality of clusters based on components included in a design under test (DUT); classifies a subset of clusters of the plurality of clusters as tangled clusters; modifies at least two tangled clusters of the subset of clusters based on overlap between the at least two tangled clusters; determines, for each tangled cluster in the subset of clusters, a gate count based on the interconnectivity of the tangled cluster; and partitions the DUT among a plurality of field-programmable gate arrays (FPGAs) based on the gate count determined for each tangled cluster from the subset of clusters.

Abstract: In various embodiments, the present invention provides a relatively low cost and substantially chemical free method of making high surface area mesoporous carbon (as well as novel mesoporous carbon hollow tube (MCHT) structures made thereby) utilizing the cellulose framework found in natural wood and/or other plant fibers to make porous carbon structures. In some embodiments, the present invention will provide porous carbon structures having higher surface area than porous carbon structures made using prior art template methods, higher adsorption capacity than commercial activated carbon, and, in some embodiments, excellent electrochemical capacitance and storage capabilities. These new carbon materials may be adapted for a wide variety of uses including such things as removal of both inorganic and organic toxic pollutants from water, energy storage/conversion, supercapacitor electrodes for electrochemical energy storage, adsorption, and catalysis.

Abstract: Systems and methods for securing a person's upper jaw in place relative to the lower jaw. Included are dental mounts affixed to teeth on the upper and lower jaw as well as a support affixed between the mounts to hold the jaw in place. Some embodiments include an extended support having a substantially U-shaped portion for protecting teeth from injury.

Abstract: A sensor for visualizing stress includes a medium and a plurality of mechanoluminescence assemblies dispersed therein. A mechanoluminescence assembly can include a mechanoluminescence material and a coating material, where the mechanoluminescence material is at least partially coated with the coating material. A method of using the sensor can include applying the medium to a substrate and allowing the medium to form a solid film on the substrate. Methods of using the mechanoluminescence assemblies are also provided.

Abstract: The present invention relates facile method to synthesize magnetic PNCs with highly dispersed and narrow size distributed NPs. The PNCs have highly thermal stability and unique electrical and dielectric properties.

Abstract: A novel programmable SAW filter with switchable multi-element interdigital transducers (IDTs) controlled by a microprocessor or a computer is provided that realizes the tunability of both center frequency and bandwidth of the SAW filter. The filter possesses the feature of the programmability of both center frequency and 3 dB bandwidth. As an example design, the center frequency of the SAW filter ranges from 126.8 MHz to 199.1 MHz while the 3 dB bandwidth ranges from 18.8 MHz to 58.9 MHz. The multi-input configuration increases the programmability of the device and improves insertion loss. A matching network for the programmable SAW filter further improves insertion loss level and stopband attenuation. A resistance weighting method has been applied to improve in band ripple with the passband ripple being reduced from 6.44 dB to 1.37 dB after resistance weighting.

Abstract: A novel programmable SAW filter with switchable multi-element interdigital transducers (IDTs) controlled by a microprocessor or a computer is provided that realizes the tunability of both center frequency and bandwidth of the SAW filter. The filter possesses the feature of the programmability of both center frequency and 3 dB bandwidth. As an example design, the center frequency of the SAW filter ranges from 126.8 MHz to 199.1 MHz while the 3 dB bandwidth ranges from 18.8 MHz to 58.9 MHz. The multi-input configuration increases the programmability of the device and improves insertion loss. A matching network for the programmable SAW filter further improves insertion loss level and stopband attenuation. A resistance weighting method has been applied to improve in band ripple with the passband ripple being reduced from 6.44 dB to 1.37 dB after resistance weighting.