EDBT 2026 Demo / reviewers in the wild / expert
Hiroyuki Yotsuyanagi
dblp:00/2646
· DBLP profile ↗
33ranked-venue papers
8as first author
5since 2021 · last 2025
0000-0002-4223-3705ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 33 · 8 first-author · 5 since 2021Software engineering, systems software and programming languages · 2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Software-Defined Secure Island for Testing Chiplet SystemsabstractChiplet systems that stack heterogeneous dies via 2.5D/3D integration use JTAG-based test access ports (TAPs) to validate inter-die links and enable in-field diagnosis. However, these TAPs create a shared attack surface: penetrating a single die can potentially expose control of the entire stack. Current countermeasures involve embedding a complete cryptographic engine in each chiplet, which increases the area and locks the protocol at tape-out, leaving it susceptible to future unknown attacks. This paper proposes a Software-Defined Secure Island (SDSI) architecture that decouples security policies from hardwired logic while satisfying non-functional requirements. Each chiplet instantiates an ultra-lightweight Secure Island Controller (SIC) macro that performs only two XORs and two additions per handshake. Meanwhile, a centralized secure island runs heavyweight cryptography in firmware using the multi-round SASL-JTAG+ protocol. SDSI enables scalable, adaptable test access protection by decoupling security from hardware. An FPGA implementation shows that the SIC macro occupies 11% of the area of an AES- 128 core and 37% of a SHA256 core, yet it supports 256 - to 512-bit keys with negligible growth. A security analysis demonstrates immunity to replay attacks because the authentication data is refreshed with each session. All future upgrades, such as longer keys, stronger hashes, and additional rounds, are delivered via firmware, providing scalable, field-upgradable protection for heterogeneous chiplet systems. Hisashi Okamoto, Senling Wang, Hiroshi Kai, Hiroyuki Yotsuyanagi, Yoshinobu Higami, Tianming Ni, Tai Song, Hiroshi Takahashi, Xiaoqing Wen |
ATS | 4 |
| 2025 | Test Point Insertion for an Approximate Multiplier Using Enhanced Static Segment Method to Reduce Test Patterns and OverdetectionabstractIn recent years, approximate computing has been widely adopted in error-tolerant applications. For approximate multipliers, several techniques have been proposed that truncate lower bits based on the magnitude of the operands. In testing approximate circuits, excluding acceptable faults that affect only within the allowable error range can reduce test costs. This paper proposes a test pattern generation method for approximate multipliers based on the Enhanced Static Segment Method. In the proposed method, a constraint circuit used only during the test pattern generation phase is designed to identify acceptable faults, which reside in the truncated region and do not affect the final computation result. Since some faults cannot be detected without detecting acceptable faults, the proposed method also inserts test points to detect such faults under the condition that acceptable faults remain undetected. As a result, the proposed method achieves approximately 32.7% reduction in the number of test patterns, demonstrating its effectiveness in improving test efficiency for approximate arithmetic circuits. Takuya Kishimoto, Hiroyuki Yotsuyanagi |
ITC-Asia | 2 |
| 2024 | Test Point Selection for Multi-Cycle Logic BIST using Multivariate Temporal-Spatial GCNsabstractThis paper proposes a novel Test Point Insertion (TPI) strategy to enhance the testability for multi-cycle Built-In Self-Test (BIST) for logic circuits. The approach leverages Multivariate Temporal-Spatial Graph Convolutional Neural Networks (MTS-GCN) and Reinforcement Learning to identify optimal Test Points (TPs). The proposed TPI method treats the testability information of a logic circuit as time-series data and employs Multivariate Time-Series Graph Neural Networks (MTGNN) to capture the relationship between the circuit's structural (spatial information) attributes and the temporal variability of signal line testability across capture cycles. A subsequent Multi-Layer Perceptron (MLP) computes the metric for each signal line to pinpoint potential TPs based on the extracted temporal-spatial features. Experimental evaluation based on benchmark circuits confirms the efficacy of the proposed model, which is trained with Deep Q-Networks (DQN), in improving the fault detection for multi-cycle logic BIST. Senling Wang, Shaoqi Wei, Hisashi Okamoto, Tatusya Nishikawa, Hiroshi Kai, Yoshinobu Higami, Hiroyuki Yotsuyanagi, Ruijun Ma 0002, Tianming Ni, Hiroshi Takahashi, Xiaoqing Wen |
ITC-Asia | 7 |
| 2023 | On Test Pattern Generation Method for an Approximate Multiplier Considering Acceptable FaultsabstractIn recent years, approximate computing has been used in error-tolerant applications. Several approximation methods have been proposed for approximate multipliers by trun-cating the lower bits of the calculation result according to the positions of one-bits in the multiplier and the multiplicand. In testing approximation circuits, test cost reduction can be achieved by removing acceptable faults that affect only within the acceptable range of the calculation error. This paper proposes a test generation method for an approximate multiplier based on the static segment method. The method adds a circuit in the test generation phase such that the fault propagation to the lower bits of the output is restricted only when these bits are truncated. As a result, the proposed test generation can attain about a 5.2 % reduction in test patterns. Shogo Tokai, Daichi Akamatsu, Hiroyuki Yotsuyanagi, Masaki Hashizume |
ITC-Asia | 3 |
| 2022 | Enhanced Interconnect Test Method for Resistive Open Defects in Final Tests with Relaxation OscillatorsabstractResistive open defects may occur at interconnects between a printed circuit board and ICs in solder process. An enhanced test method in final tests and a built-in test circuit are proposed to detect resistive open defects of small resistance with relaxation oscillator embedded in ICs in this paper. It is examined by Spice simulations what resistive open defects can be detected. The results show that resistive open defects of 23.4 Ω and above are detected by the test method in a test speed of 1 MHz per an interconnect. Masao Ohmatsu, Yuto Ohtera, Yuki Ikiri, Hiroyuki Yotsuyanagi, Shyue-Kung Lu, Masaki Hashizume |
ATS | 4 |
| 2020 | Fault-Aware Dependability Enhancement Techniques for Flash MemoriesabstractBy analyzing the fault behaviors of conventional flash memory fault models, two new concise fault types are proposed: the 1-safe fault and the 0-safe fault. For a 1(0)-safe fault, if logic 1(0) is programmed into the faulty cell, the effect of the fault can be masked. Data shaping (DS) and the page address remapping (PAR) techniques are used to increase the masking probability. DS manipulates the data patterns so that they can be written into the flash pages safely. PAR scrambles the logical-to-physical address mapping for data words and buffer words. Since the effect of a fault is masked for a large proportion of faulty cells, the burden on the error-correction code (ECC) is reduced, as is the number of incorporated redundancies. A novel test-and-repair flow is proposed that uses DS and PAR and corresponding hardware architectures are also developed. A simulator is used to evaluate the hardware overhead, the repair rate, the yield, and the reliability. The experimental results show that these measures are significantly improved with an almost negligible hardware overhead. Shyue-Kung Lu, Shu-Chi Yu, Chun-Lung Hsu, Chi-Tien Sun, Masaki Hashizume, Hiroyuki Yotsuyanagi |
IEEE Trans. Very Large Scale Integr. Syst. | 6 |
| 2019 | On Delay Measurement Under Delay Variations in Boundary Scan Circuit with Embedded TDCabstractWith the high integration of integrated circuits, small delay faults have occurred as the cause of a circuit failure. We have proposed a method for testing small delay faults using a boundary scan circuit with embedded TDC (TDCBS). In this method, delay faults are detected by using the number of stages in which a transition signal has propagated through a delay line. However, there exists delay variation in a delay line. This paper investigated delay variation by measuring transition delay for different paths in the delay line. In addition, to calibrate delay variation, we investigated a calibration method for considering the variation of wire length and delay in a delay line in TDCBS. Measurement results for an experimental chip show that the method can compensate the variations in the delay line. Shuya Kikuchi, Hiroyuki Yotsuyanagi, Masaki Hashizume |
ITC-Asia | 2 |
| 2018 | Test Time Reduction on Testing Delay Faults in 3D ICs Using Boundary Scan DesignabstractA boundary scan design with embedded time-to-digital converter (TDCBS) has been proposed for testing small delay faults. In this paper, the TDCBS is applied for testing TSVs in 3D IC. To reduce test application time of the TDCBS, we propose a modified TAP controller that utilizes the bypass mode for reducing unnecessary scan shifts during observation of the captured results. The simulation for an experimental circuit is shown to evaluate the effectiveness of the proposed method. Satoshi Hirai, Hiroyuki Yotsuyanagi, Masaki Hashizume |
ATS | 2 |
| 2018 | A Sequentially Untestable Fault Identification Method Based on n-Bit State Cube JustificationabstractNon-scan based test generation is required to reduce test cost and improve security. However, sequential test generation consumes a lot of time to identify untestable faults. Therefore, it is important to identify untestable faults in the preprocessing of the test generation. In this paper, an unreachable state identification method, which identifies whether states on a few flip-flops can be justified using SAT, and an untestable fault identification method using the unreachable states are proposed. Experimental results show that our proposed method was effective compared with conventional methods. Toshinori Hosokawa, Morito Niseki, Masayoshi Yoshimura, Hiroshi Yamazaki, Masayuki Arai, Hiroyuki Yotsuyanagi, Masaki Hashizume |
IOLTS | 6 |
| 2017 | Open Defect Detection with a Built-in Test Circuit by IDDT Appearance Time in CMOS ICsabstractWe propose a supply current test method with a built-in sensor for detecting open defects on signal lines in CMOS logic circuits. The test method is based on an appearance time of dynamic supply current that flows when a test input vector is provided to a device under test. In addition, we propose a test pattern generation algorithm for the test method. An IC embedding the sensor is prototyped to examine the testability of the test method. We show by SPICE simulation and by some experiments with the IC that open defects that is undetectable by delay tests can be detected by the test method. Ayumu Kambara, Hiroyuki Yotsuyanagi, Daichi Miyoshi, Masaki Hashizume, Shyue-Kung Lu |
ATS | 2 |
| 2017 | Fault-Aware Page Address Remapping Techniques for Enhancing Yield and Reliability of Flash MemoriesabstractBased on the fault behaviors of conventional fault models, the 1-safe and 0-safe fault types are derived in this paper. We can try to store the safe value of a flash cell such that the fault effects can be masked. To boost the masking probability, both the data inversion (DI) and the page address remapping (PAR) techniques are also proposed. DI tries to complement the data bits to be programmed if their values derivate from the safe values of the corresponding faulty flash cells. PAR manipulates the logical-to-physical mapping of data words and the buffer words such that faulty cells can be programmed with their safe values. Since most of the fault effects are masked, we can reduce the strength of the adopted ECC or the amount of incorporated redundancies. The corresponding hardware architectures are also developed. A simulator is developed to evaluate the hardware overhead, repair rate, and reliability. According to experimental results, these measures can be improved significantly with negligible hardware overhead. Shyue-Kung Lu, Shu-Chi Yu, Masaki Hashizume, Hiroyuki Yotsuyanagi |
ATS | 4 |
| 2013 | Testable Design for Electrical Testing of Open Defects at Interconnects in 3D ICsabstractA testable design method for electrical testing is proposed in this paper to detect open defects occurring at interconnects between dies in a 3D IC and locate the defective interconnects. An IEEE 1149.1 test circuit is utilized to provide a test input vector to a targeted interconnect in the electrical tests. Feasibility of the electrical tests is evaluated by Spice simulation and some experiments with a prototyping IC. It is shown by the experiments that an open defect can be detected at a test speed of 1MHz. Masaki Hashizume, Tomoaki Konishi, Hiroyuki Yotsuyanagi, Shyue-Kung Lu |
Asian Test Symposium | 3 |
| 2011 | A Boundary Scan Circuit with Time-to-Digital Converter for Delay TestingabstractThis paper presents a design-for-testability method for detecting delay faults. In order to observe the effect of small delay defects, we present modified boundary scan cells in which a time-to-digital converter (TDC) is embedded. In our boundary scan cells, flip-flops are utilized for both making a scan path and capturing circuit response. The architecture of the boundary scan design is proposed to detect delay from the other cores or chips or its interconnects. The basic operation of the design is evaluated by simulation and by experimental ICs. Experimental results show that the measurement of the transition delay can be achieved by the boundary scan design with the time-to-digital converter. Hiroyuki Yotsuyanagi, Hiroyuki Makimoto, Masaki Hashizume |
Asian Test Symposium | 1 |
| 2010 | Test Data Reduction for BIST-Aided Scan Test Using Compatible Flip-Flops and Shifting Inverter CodeabstractIn this paper, a method for reducing test data volume of BIST-aided scan test (BAST) is proposed. In our BAST method, scan chains are ordered using compatible flip-flops to reduce the conflicting bits between ATPG pattern and random pattern obtained by LFSR. The inverter block in BIST-aided scan architecture is modified for shifting inverter code such that the random pattern produced by LFSR has less conflicting bits with ATPG patterns when providing the test pattern to the scan chains. The experimental results show the method can reduce the test data volume than the previous method. Masashi Ishikawa, Hiroyuki Yotsuyanagi, Masaki Hashizume |
Asian Test Symposium | 2 |
| 2010 | Current-based testable design of level shifters in liquid crystal display driversabstractWe propose a testable design method of level shifters inside a liquid crystal display driver IC. The design method enables us to detect open defects in level shifters by supply current testing that are difficult to be tested by voltage testing. Also, we show by circuit simulation that more resistive open defects may be detected by supply current testing than voltage testing, if the level shifter is designed by using the proposed DFT method. Masaki Hashizume, Kazuya Nakaminami, Hiroyuki Yotsuyanagi, Yukinori Nakajima, Kozo Kinoshita |
ETS | 3 |
| 2009 | New Class of Tests for Open Faults with Considering Adjacent LinesabstractUnder the open fault model with considering the effects of adjacent lines, the open fault excitation is depended on the tests. Therefore, the layout information is needed to generate a test for an open fault. However, it is not easy to extract accurate circuit parameters of a deep sub-micron LSI. We have already proposed an open fault model without using the accurate circuit parameters. In this paper, we propose a new class of the pair of tests for the open fault called Ordered Pair of Tests (OPT). OPT is generated based on the fault excitation function as a threshold function of the adjacent lines. Also we propose a method for generating OPTs from the given stuck-at fault test set. The proposed method generates OPTs using only information about adjacent lines of the target open fault. Experimental results show that the proposed method can generate the OPTs for the open faults with high fault coverage. Hiroshi Takahashi, Yoshinobu Higami, Yuzo Takamatsu, Koji Yamazaki, Toshiyuki Tsutsumi, Hiroyuki Yotsuyanagi, Masaki Hashizume |
Asian Test Symposium | 6 |
| 2007 | Current Testable Design of Resistor String DACsabstractIn this paper, a DFT method of resistor string digital-to-analog converters (DACs) is proposed so as to be tested fully by supply current testing. Targeted defects are opens and shorts in the DACs. Testability of a testable designed DAC is examined experimentally. The results show that shorts and opens in a testable designed DAC will be detected with a smaller number of test vectors by supply current testing. Masaki Hashizume, Yutaka Hata, Tomomi Nishida, Hiroyuki Yotsuyanagi, Yukiya Miura |
ATS | 4 |
| 2007 | Clues for Modeling and Diagnosing Open Faults with Considering Adjacent LinesabstractUnder the modern manufacturing technologies, the open defect is one of the significant issues to maintain the reliability of DSM circuits. However, the modeling and techniques for test and diagnosis for open faults have not been established yet. In this paper, we give an important clue for modeling an open fault with considering the affects of adjacent lines. Firstly, we use computer simulations to analyze the defective behaviors of a line with the open defect. From the simulation results, we propose a new open fault model that is excited depending on the logic values at the adjacent lines assigned by a test. Next, we propose a diagnosis method that uses the pass/fail information to deduce the candidate open fault. Finally, experimental results show that the proposed method is able to diagnose the open faults with good resolution. It takes about 6 minutes to diagnose the open fault on the large circuit (2M gates). Hiroshi Takahashi, Yoshinobu Higami, Shuhei Kadoyama, Takashi Aikyo, Yuzo Takamatsu, Koji Yamazaki, Toshiyuki Tsutsumi, Hiroyuki Yotsuyanagi, Masaki Hashizume |
ATS | 8 |
| 2006 | A BIC Sensor Capable of Adjusting IDDQ Limit in TestsabstractA built-in-current sensor (BIC sensor) is proposed whose IDDQ limit is able to be adjusted in each IC test. IDDQ tests of identical IDDQ limit can be realized with the current sensor, even if process variation occurs in the sensor. Also, an IDDQ test method is proposed for ICs, in each of which the BIC sensor is implemented. It is shown by some experiments that IDDQ limit of 10mu A will be able to be set and IDDQ test results based on the limit will be obtained by adjusting the limit for each IC if size variation of MOSs in the BIC sensor is less than 50% Masato Nakanishi, Masaki Hashizume, Hiroyuki Yotsuyanagi, Yukiya Miura |
ATS | 3 |
| 2005 | Reducing Scan Shifts Using Configurations of Compatible and Folding Scan Trees
Hiroyuki Yotsuyanagi, Toshimasa Kuchii, Shigeki Nishikawa, Masaki Hashizume, Kozo Kinoshita |
J. Electron. Test. | 1 |
| 2004 | I_DDQ Test Method Based on Wavelet Transformation for Noisy Current Measurement EnvironmentabstractAn I/sub DDQ/ test method is proposed in this paper, which is applicable even if supply current measurement is impaired by noise. Wavelet transformation is used for noise elimination in the test method. In this paper, it is shown by some experiments that bridging faults will be detected by using the proposed test method. Since expert knowledge on filter design is not needed in noise elimination of the I/sub DDQ/ test method, it is expected that the test method will be used in many I/sub DDQ/ tests. Masaki Hashizume, Daisuke Yoneda, Hiroyuki Yotsuyanagi, Tetsuo Tada, Takeshi Koyama, Ikuro Morita, Takeomi Tamesada |
Asian Test Symposium | 3 |
| 2003 | A BIST Circuit for IDDQ TestsabstractIn this paper, an I/sub DDQ/ test time reduction method is proposed which is suitable for BIST approaches. Also, a BIST circuit for I/sub DDQ/ tests, based on the method, is proposed. The layout of a CMOS logic circuit having the BIST circuit is designed and the performance is evaluated by SPICE simulation. The results show us that I/sub DDQ/ test time can be reduced by using this test circuit. Masaki Hashizume, Teppei Takeda, Hiroyuki Yotsuyanagi, Takeomi Tamesada, Yukiya Miura, Kozo Kinoshita |
Asian Test Symposium | 3 |
| 2003 | Reducing Scan Shifts Using Folding Scan TreesabstractIn this paper, a new method for reducing scan shifts is presented. Scan design is one of the most popular design for test technologies for sequential circuits. However, it requires much test application time and test data when applied to circuits with many flip-flops. The new scan method utilizes two configurations of scan chains, a folding scan tree and a fully compatible scan tree. A test pattern including many don't care values is used to configure a fully compatible scan tree in order to reduce the scan shift without degrading fault coverage. And then a folding scan tree is configured to reduce the length of the scan chain and thus reduce the scan shift. Experimental results for benchmark circuits shows this scan method can reduce many scan shifts. Hiroyuki Yotsuyanagi, Toshimasa Kuchii, Shigeki Nishikawa, Masaki Hashizume, Kozo Kinoshita |
Asian Test Symposium | 1 |
| 2002 | Test Time Reduction for I DDQ Testing by Arranging Test VectorsabstractIn this paper, test time reduction for I/sub DDQ/ testing is discussed. Although I/sub DDQ/ testing is known to be effective in detecting faults in CMOS circuits, the test time of I/sub DDQ/ testing is larger than that of logic testing. It is shown that the test time of I/sub DDQ/ test mostly depends on the switching current. To reduce the test time of I/sub DDQ/ testing, a procedure to arrange test vectors such that the switching current quickly disappears is proposed for combinational circuits. The procedure utilizes a unit delay model to estimate the time of the last transition of logic values from low to high in a circuit. Experimental results for benchmark circuits show the effectiveness of the procedure. Hiroyuki Yotsuyanagi, Masaki Hashizume, Takeomi Tamesada |
Asian Test Symposium | 1 |
| 2001 | CMOS Open Defect Detection Based on Supply Current in Time-Variable Electric Field and Supply Voltage ApplicationabstractIn this paper, a new test method is proposed for detecting open defects in CMOS ICs. The method is based on supply current of ICs generated by applying time-variable supply voltage and electric field from the outside of the ICs. The feasibility of the test is examined by some experiments. The empirical results show that, by using the method, open defects in CMOS ICs can be detected. Also, the test input vectors for the test method are proposed and it is shown that they can be generated more easily than functional test methods based on stuck-at fault models. Masaki Hashizume, Masahiro Ichimiya, Hiroyuki Yotsuyanagi, Takeomi Tamesada |
Asian Test Symposium | 3 |
| 2001 | IDDQ Sensing Technique for High Speed IDDQ TestingabstractIn this paper, a useful technique is proposed for realizing high speed IDDQ tests. By using the technique, load capacitors of the CMOS logic gates can be charged quickly, where the output logic level changes L to H by applying a test input vector to a circuit under test. The technique is applied to built-in I/sub DDQ/ sensor design and external I/sub DDQ/ sensor design. It is shown experimentally that high speed I/sub DDQ/ tests can be realized by using the technique. Teppei Takeda, Masaki Hashizume, Masahiro Ichimiya, Hiroyuki Yotsuyanagi, Yukiya Miura, Kozo Kinoshita |
Asian Test Symposium | 4 |
| 2001 | Sequential Redundancy Removal Using Test Generation and Multiple Unreachable StatesabstractIn this paper, a procedure to reduce sequential circuits by removing undetectable faults in sequential circuits is proposed. To identify whether an undetectable fault is removable or not, strongly unreachable states, which are the states with no incoming transitions, are utilized. It is proved that part of undetectable faults related to strongly unreachable states can be removed from a circuit. Test generation method is used to find undetectable faults related to two or more strongly, unreachable states. Experimental results for ISCAS benchmark circuits are shown. Hiroyuki Yotsuyanagi, Shinsuke Hata, Masaki Hashizume, Takeomi Tamesada |
Asian Test Symposium | 1 |
| 2001 | CMOS open defect detection by supply current testabstractIn this paper, a new test method is proposed for detecting open defects in CMOS ICs. The method is based on supply current of ICs generated by applying time-variable electric field from the outside of the ICs. The feasibility of the test is examined by some experiments. The empirical results promised that, by using the method, open defects in CMOS ICs can be detected by measuring supply current which flows when time-variable electric field is applied. Masaki Hashizume, Masahiro Ichimiya, Hiroyuki Yotsuyanagi, Takeomi Tamesada |
DATE | 3 |
| 2000 | High speed IDDQ test and its testability for process variationabstractA new high speed IDDQ test method is proposed. It is based on charge current for load capacitances of gates whose output logic values are changed from L to H by test input vector application. In this paper, the testability of the test method is examined for some process variations generated in CMOS IC production. Masaki Hashizume, Hiroyuki Yotsuyanagi, Masahiro Ichimiya, Takeomi Tamesada, Masashi Takeda |
Asian Test Symposium | 2 |
| 1999 | Identification of Feedback Bridging Faults with OscillationabstractWhen a feedback bridging fault occurs in a combinational circuit and it is activated, logical oscillation may be generated in the circuit. In this paper, the necessary conditions are presented for feedback bridging faults to generate logical oscillation. Also, a method is proposed to identify such faults in feedback bridging ones. It is based on piecewise-linearized models obtained from input/output characteristics of logic gates and does not require circuit simulation of large size of circuits to identify them. In the experiments for evaluating the method, all of the feedback bridging faults to generate logical oscillation are identified by using the method. Masaki Hashizume, Hiroyuki Yotsuyanagi, Takeomi Tamesada |
Asian Test Symposium | 2 |
| 1998 | Undetectable Fault Removal of Sequential Circuits Based on Unreachable StatesabstractWe present a procedure to reduce sequential circuits by removing undetectable faults based on unreachable states. Procedures for obtaining unreachable stares and for identifying undetectable faults which can be the target of fault removal are presented. Experimental results for ISCAS benchmark circuits are shown. Hiroyuki Yotsuyanagi, Kozo Kinoshita |
VTS | 1 |
| 1997 | Synthesis of Sequential Circuits by Redundancy Removal and Retiming
Hiroyuki Yotsuyanagi, Seiji Kajihara, Kozo Kinoshita |
J. Electron. Test. | 1 |
| 1995 | Resynthesis for sequential circuits designed with a specified initial stateabstractThis paper presents a retiming and redundancy removal method for a sequential circuit with a specified initial state so that the resynthesized circuit has a state corresponding to the initial state and gives same behavior for any input sequences of the original circuit. Experimental results show the proposed method can optimize circuits as well as the method which does not consider the specified initial state. Hiroyuki Yotsuyanagi, Seiji Kajihara, Kozo Kinoshita |
VTS | 1 |