Jin S. Zhang

Learn More
Low frequency electroacupuncture, which is commonly used in pain relief, is known to induce opioid-mediated analgesia. This study examined the contribution of the opioid system in mediating the anti-inflammatory effects of low frequency EA in a standard model of acute inflammation, the carrageenan-induced edema model. Carrageenan was injected in the hind(More)
Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-based method that makes uses of structural analysis, integrated simulation and Boolean satisfiability for fast and scalable detection of classical symmetries of completely-specified(More)
Some cochlear implant patients achieve better speech recognition with pulsatile electrical stimulation presented at high rates. The present study aimed to explore, in an animal model of cochlear implants, how the excitability of the cochlear nerve is affected by pulsatile electrical stimulation delivered at high rates, of up to 1,000-2,000 pulses per second(More)
The goal of the present study was to establish how Fos-like immunoreactivity (FLI) elicited in the rat auditory pathway by unilateral electric stimulation of the cochlea is affected by the following experimental parameters: duration and intensity of stimulation, duration of survival time after offset of stimulation. The dense FLI found in the ipsilateral(More)
Simulation and Boolean satisfiability (SAT) checking are common techniques used in logic verification. This paper shows how simulation and satisfiability (S&S) can be tightly integrated to efficiently compute flexibilities in a multilevel Boolean network, including the following: 1) complete "don't cares" (CDCs); 2) sets of pairs of functions to be(More)
In recent years, the notion of symmetry has been extended from classical symmetries to also include constant cofactor symmetries, single variable symmetries and Kronecker symmetries. All these symmetries form a generalized symmetry scheme. Existing methods to detect generalized symmetries require computing the cofactors for each pair of variables to check(More)
We propose a frequency-dependent sensitivity model for analog blocks and a noise injection model for digital blocks in application to early design planning of Mixed-Signal System-on-Chips (MS-SOCs). We assume no precise layout information about IP cores is available. We also propose an empirical formula for separation-dependent coupling between large-area(More)
This paper describes linear cofactor relationships (LCRs), which are defined as the exclusive sums of cofactors with respect to a pair of variables in Boolean functions. These relationships subsume classical symmetries and single-variable symmetries. The paper proposes an efficient algorithm to detect LCRs and discusses their potential applications in(More)
Detecting support-reducing bound sets is an important step in Boolean decomposition. It affects both the quality and the runtime of several applications in technology mapping and re-synthesis. This paper presents an efficient heuristic method for detecting support-reducing bound sets using two-cofactor symmetries. Experiments on the MCNC and ITC benchmarks(More)