Low dose of D-cycloserine (DCS), a partial agonist of glycine binding site on N-methyl-D-aspartate (NMDA) receptors, can facilitate extracellular signal-regulated kinase1/2 (ERK1/2) activity in the amygdala and modulate emotional behavior. However, the relationship between ERK1/2 activation, individual anxiety levels, and DCS is unknown. Therefore, based on… (More)
Today many complex ASIC (Application Specific Integrated Circuit) designs use standard I/O interfaces in order to make sure that they can cooperate correctly with other components from different vendors. Moreover, many SoC (System-on-a-Chip) designs directly incorporate standard interfaces (such as PCI and AMBA AHB bus), and therefore system verification… (More)
As the complexity of chip designs increase, simulation time also elongates. Unit and variable delay simulation takes the most simulation time in IC design process; however, parallel processing performs inefficiently due to large amount of synchronization. In this paper, techniques to reduce the number of synchronization points in synchronous designs are… (More)
The electrostatic discharge (ESD) problem has become a challenging reliability issue in nanometer circuit design. High voltages resulted from ESD might cause high current densities in a small device and burn it out, so on-chip protection circuits for IC pads are required. To reduce the design cost, the protection circuit should be added only for the IC pads… (More)
Many circuit designs need to follow some temporal rules. However, it is hard to express and verify them in the past. Therefore, a temporal assertion extension to Verilog, called Temporal Wizard, is proposed in this paper. It provides several Verilog system tasks for the users to write assertions in testbench directly. Two new concepts, tag and thread, are… (More)
As the complexity of circuit design increases, verification through simulation has become a bottleneck of the IC design process. Distributed parallel simulation is one way to solving the problem. In order to distribute the simulation workload to multiple processors, the design must be carefully partitioned first. While most previous work focus on gate level… (More)
A simulation-based temporal assertion verification engine for PSL (Property Specification Language), called Tempral Wizard, is proposed in this paper. It is very efficient because its time and space complexity are both O(n). A new concept, tag, is introduced in Tempral Wizard and it handles the forall operator elegantly.
Many circuit designs need to follow some temporal logic assertions. However, it was hard to express and verify them in the past. Therefore a temporal logic checker, called Sequence, is proposed in this paper. It provides some Verilog system tasks for the users to write assertions in their designs directly. A PSL-to-Sequence converter is also provided so… (More)