default search action
BibTeX records: Satoshi Komatsu
@inproceedings{DBLP:conf/icecsys/HaraK23, author = {Kota Hara and Satoshi Komatsu}, title = {A {PVT} Variation Dependencies of {VCO} in Frequency Locked Loop}, booktitle = {30th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2023, Istanbul, Turkey, December 4-7, 2023}, pages = {1--4}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICECS58634.2023.10382820}, doi = {10.1109/ICECS58634.2023.10382820}, timestamp = {Thu, 18 Jan 2024 08:27:11 +0100}, biburl = {https://dblp.org/rec/conf/icecsys/HaraK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/UbukataK18, author = {Shinya Ubukata and Satoshi Komatsu}, title = {A Framework for Automatic Generation of Fully Synthesizable {ADPLL}}, booktitle = {25th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2018, Bordeaux, France, December 9-12, 2018}, pages = {57--60}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICECS.2018.8617865}, doi = {10.1109/ICECS.2018.8617865}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/UbukataK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/SaitoK17, author = {Takumi Saito and Satoshi Komatsu}, title = {A low-voltage hysteresis comparator for low power applications}, booktitle = {24th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2017, Batumi, Georgia, December 5-8, 2017}, pages = {427--430}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/ICECS.2017.8292002}, doi = {10.1109/ICECS.2017.8292002}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/SaitoK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/YumotoK17, author = {Ryosuke Yumoto and Satoshi Komatsu}, title = {Characteristics optimization of stochastic {ADC} and its automatic generation system}, booktitle = {15th {IEEE} International New Circuits and Systems Conference, {NEWCAS} 2017, Strasbourg, France, June 25-28, 2017}, pages = {89--92}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/NEWCAS.2017.8010112}, doi = {10.1109/NEWCAS.2017.8010112}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/newcas/YumotoK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/et/IshidaNKKA16, author = {Masahiro Ishida and Toru Nakura and Takashi Kusaka and Satoshi Komatsu and Kunihiro Asada}, title = {Dynamic Power Integrity Control of {ATE} for Eliminating Overkills and Underkills in Device Testing}, journal = {J. Electron. Test.}, volume = {32}, number = {3}, pages = {257--271}, year = {2016}, url = {https://doi.org/10.1007/s10836-016-5582-4}, doi = {10.1007/S10836-016-5582-4}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/et/IshidaNKKA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/IshidaNKKA16, author = {Masahiro Ishida and Toru Nakura and Takashi Kusaka and Satoshi Komatsu and Kunihiro Asada}, title = {Power Supply Voltage Control for Eliminating Overkills and Underkills in Delay Fault Testing}, journal = {{IEICE} Trans. Electron.}, volume = {99-C}, number = {10}, pages = {1219--1225}, year = {2016}, url = {https://doi.org/10.1587/transele.E99.C.1219}, doi = {10.1587/TRANSELE.E99.C.1219}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/IshidaNKKA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/newcas/TandonKYA16, author = {James S. Tandon and Satoshi Komatsu and Takahiro J. Yamaguchi and Kunihiro Asada}, title = {A comparative study of body biased time-to-digital converters based on stochastic arbiters and stochastic comparators}, booktitle = {14th {IEEE} International New Circuits and Systems Conference, {NEWCAS} 2016, Vancouver, BC, Canada, June 26-29, 2016}, pages = {1--4}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/NEWCAS.2016.7604799}, doi = {10.1109/NEWCAS.2016.7604799}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/newcas/TandonKYA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/KomatsuYAKTA14, author = {Satoshi Komatsu and Takahiro J. Yamaguchi and Mohamed Abbas and Nguyen Ngoc Mai Khanh and James S. Tandon and Kunihiro Asada}, title = {A Flash {TDC} with 2.6-4.2ps Resolution Using a Group of UnbalancedCMOS Arbiters}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {97-A}, number = {3}, pages = {777--780}, year = {2014}, url = {https://doi.org/10.1587/transfun.E97.A.777}, doi = {10.1587/TRANSFUN.E97.A.777}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/KomatsuYAKTA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/IkenoMKIIA14, author = {Rimon Ikeno and Takashi Maruyama and Satoshi Komatsu and Tetsuya Iizuka and Makoto Ikeda and Kunihiro Asada}, title = {A Structured Routing Architecture for Practical Application of Character Projection Method in Electron-Beam Direct Writing}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {97-A}, number = {8}, pages = {1688--1698}, year = {2014}, url = {https://doi.org/10.1587/transfun.E97.A.1688}, doi = {10.1587/TRANSFUN.E97.A.1688}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/IkenoMKIIA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ats/YamaguchiTKA14, author = {Takahiro J. Yamaguchi and James S. Tandon and Satoshi Komatsu and Kunihiro Asada}, title = {A Novel Circuit for Transition-Edge Detection: Using a Stochastic Comparator Group to Test Transition-Edge}, booktitle = {23rd {IEEE} Asian Test Symposium, {ATS} 2014, Hangzhou, China, November 16-19, 2014}, pages = {168--173}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ATS.2014.40}, doi = {10.1109/ATS.2014.40}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ats/YamaguchiTKA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/TandonYKA14, author = {James S. Tandon and Takahiro J. Yamaguchi and Satoshi Komatsu and Kunihiro Asada}, title = {A subsampling stochastic coarse-fine {ADC} with {SNR} 55.3dB and {\textgreater}5.8TS/s effective sample rate for an on-chip signal analyzer}, booktitle = {{IEEE} International Symposium on Circuits and Systemss, {ISCAS} 2014, Melbourne, Victoria, Australia, June 1-5, 2014}, pages = {93--96}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ISCAS.2014.6865073}, doi = {10.1109/ISCAS.2014.6865073}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/TandonYKA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itc/IshidaKNKA14, author = {Masahiro Ishida and Takashi Kusaka and Toru Nakura and Satoshi Komatsu and Kunihiro Asada}, title = {Statistical silicon results of dynamic power integrity control of {ATE} for eliminating overkills and underkills}, booktitle = {2014 International Test Conference, {ITC} 2014, Seattle, WA, USA, October 20-23, 2014}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/TEST.2014.7035299}, doi = {10.1109/TEST.2014.7035299}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itc/IshidaKNKA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/IkenoMKIIA13, author = {Rimon Ikeno and Takashi Maruyama and Satoshi Komatsu and Tetsuya Iizuka and Makoto Ikeda and Kunihiro Asada}, title = {High-Throughput Electron Beam Direct Writing of {VIA} Layers by Character Projection with One-Dimensional {VIA} Characters}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {96-A}, number = {12}, pages = {2458--2466}, year = {2013}, url = {https://doi.org/10.1587/transfun.E96.A.2458}, doi = {10.1587/TRANSFUN.E96.A.2458}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/IkenoMKIIA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/IkenoMIKIA13, author = {Rimon Ikeno and Takashi Maruyama and Tetsuya Iizuka and Satoshi Komatsu and Makoto Ikeda and Kunihiro Asada}, title = {High-throughput electron beam direct writing of {VIA} layers by character projection using character sets based on one-dimensional {VIA} arrays with area-efficient stencil design}, booktitle = {18th Asia and South Pacific Design Automation Conference, {ASP-DAC} 2013, Yokohama, Japan, January 22-25, 2013}, pages = {255--260}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ASPDAC.2013.6509605}, doi = {10.1109/ASPDAC.2013.6509605}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/aspdac/IkenoMIKIA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cicc/TandonYKA13, author = {James S. Tandon and Takahiro J. Yamaguchi and Satoshi Komatsu and Kunihiro Asada}, title = {A stochastic sampling time-to-digital converter with tunable 180-770fs resolution, {INL} less than 0.6LSB, and selectable dynamic range offset}, booktitle = {Proceedings of the {IEEE} 2013 Custom Integrated Circuits Conference, {CICC} 2013, San Jose, CA, USA, September 22-25, 2013}, pages = {1--4}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/CICC.2013.6658531}, doi = {10.1109/CICC.2013.6658531}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/cicc/TandonYKA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ispd/IkenoMKIIA13, author = {Rimon Ikeno and Takashi Maruyama and Satoshi Komatsu and Tetsuya Iizuka and Makoto Ikeda and Kunihiro Asada}, editor = {Cheng{-}Kok Koh and Cliff C. N. Sze}, title = {A structured routing architecture and its design methodology suitable for high-throughput electron beam direct writing with character projection}, booktitle = {International Symposium on Physical Design, ISPD'13, Stateline, NV, USA, March 24-27, 2013}, pages = {69--76}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2451916.2451937}, doi = {10.1145/2451916.2451937}, timestamp = {Tue, 06 Nov 2018 11:07:47 +0100}, biburl = {https://dblp.org/rec/conf/ispd/IkenoMKIIA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itc/YamaguchiTKA13, author = {Takahiro J. Yamaguchi and James S. Tandon and Satoshi Komatsu and Kunihiro Asada}, title = {A novel test structure for measuring the threshold voltage variance in MOSFETs}, booktitle = {2013 {IEEE} International Test Conference, {ITC} 2013, Anaheim, CA, USA, September 6-13, 2013}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/TEST.2013.6651878}, doi = {10.1109/TEST.2013.6651878}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itc/YamaguchiTKA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ats/YamaguchiANAKKM12, author = {Takahiro J. Yamaguchi and Kunihiro Asada and Kiichi Niitsu and Mohamed Abbas and Satoshi Komatsu and Haruo Kobayashi and Jose A. Moreira}, title = {A New Procedure for Measuring High-Accuracy Probability Density Functions}, booktitle = {21st {IEEE} Asian Test Symposium, {ATS} 2012, Niigata, Japan, November 19-22, 2012}, pages = {185--190}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ATS.2012.25}, doi = {10.1109/ATS.2012.25}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ats/YamaguchiANAKKM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itc/IshidaNKKKA12, author = {Masahiro Ishida and Toru Nakura and Toshiyuki Kikkawa and Takashi Kusaka and Satoshi Komatsu and Kunihiro Asada}, title = {Power integrity control of {ATE} for emulating power supply fluctuations on customer environment}, booktitle = {2012 {IEEE} International Test Conference, {ITC} 2012, Anaheim, CA, USA, November 5-8, 2012}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/TEST.2012.6401553}, doi = {10.1109/TEST.2012.6401553}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itc/IshidaNKKKA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icecsys/AbbasYFKA11, author = {Mohamed Abbas and Takahiro J. Yamaguchi and Yasuo Furukawa and Satoshi Komatsu and Kunihiro Asada}, title = {Novel technique for minimizing the comparator delay dispersion in 65nm {CMOS} technology}, booktitle = {18th {IEEE} International Conference on Electronics, Circuits and Systems, {ICECS} 2011, Beirut, Lebanon, December 11-14, 2011}, pages = {220--223}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ICECS.2011.6122253}, doi = {10.1109/ICECS.2011.6122253}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/icecsys/AbbasYFKA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/YamaguchiASAFDKA11, author = {Takahiro J. Yamaguchi and Mohamed Abbas and Mani Soma and Takafumi Aoki and Yasuo Furukawa and Katsuhiko Degawa and Satoshi Komatsu and Kunihiro Asada}, title = {An equivalent-time and clocked approach for continuous-time quantization}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May 15-19 2011, Rio de Janeiro, Brazil}, pages = {2529--2532}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ISCAS.2011.5938119}, doi = {10.1109/ISCAS.2011.5938119}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/YamaguchiASAFDKA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itc/YamaguchiSAFDAAK11, author = {Takahiro J. Yamaguchi and Mani Soma and Takafumi Aoki and Yasuo Furukawa and Katsuhiko Degawa and Kunihiro Asada and Mohamed Abbas and Satoshi Komatsu}, editor = {Bill Eklow and R. D. (Shawn) Blanton}, title = {Application of a continuous-time level crossing quantization method for timing noise measurements}, booktitle = {2011 {IEEE} International Test Conference, {ITC} 2011, Anaheim, CA, USA, September 20-22, 2011}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/TEST.2011.6139177}, doi = {10.1109/TEST.2011.6139177}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itc/YamaguchiSAFDAAK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/AbbasCFKA10, author = {Mohamed Abbas and Kwang{-}Ting Cheng and Yasuo Furukawa and Satoshi Komatsu and Kunihiro Asada}, editor = {Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller and Enrico Macii}, title = {An automatic test generation framework for digitally-assisted adaptive equalizers in high-speed serial links}, booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany, March 8-12, 2010}, pages = {1755--1760}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/DATE.2010.5457098}, doi = {10.1109/DATE.2010.5457098}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/AbbasCFKA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/GaoYSKF09, author = {Shanghua Gao and Hiroaki Yoshida and Kenshu Seto and Satoshi Komatsu and Masahiro Fujita}, title = {Interconnect-Aware Pipeline Synthesis for Array-Based Architectures}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {92-A}, number = {6}, pages = {1464--1475}, year = {2009}, url = {https://doi.org/10.1587/transfun.E92.A.1464}, doi = {10.1587/TRANSFUN.E92.A.1464}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/GaoYSKF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecctd/NakuraTFIKA09, author = {Toru Nakura and Yutaro Tatemura and G{\"{o}}rschwin Fey and Makoto Ikeda and Satoshi Komatsu and Kunihiro Asada}, title = {SAT-based {ATPG} testing of inter- and intra-gate bridging faults}, booktitle = {19th European Conference on Circuit Theory and Design, {ECCTD} 2009, Antalya, Turkey, August 23-27, 2009}, pages = {643--646}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ECCTD.2009.5275065}, doi = {10.1109/ECCTD.2009.5275065}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecctd/NakuraTFIKA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ets/AbbasCFKA09, author = {Mohamed Abbas and Kwang{-}Ting Cheng and Yasuo Furukawa and Satoshi Komatsu and Kunihiro Asada}, title = {Signature-Based Testing for Digitally-Assisted Adaptive Equalizers in High-Speed Serial Links}, booktitle = {14th {IEEE} European Test Symposium, {ETS} 2009, Sevilla, Spain, May 25-29, 2009}, pages = {107--112}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ETS.2009.14}, doi = {10.1109/ETS.2009.14}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ets/AbbasCFKA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ats/FeyKFF08, author = {G{\"{o}}rschwin Fey and Satoshi Komatsu and Yasuo Furukawa and Masahiro Fujita}, title = {Targeting Leakage Constraints during {ATPG}}, booktitle = {17th {IEEE} Asian Test Symposium, {ATS} 2008, Sapporo, Japan, November 24-27, 2008}, pages = {225--230}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ATS.2008.14}, doi = {10.1109/ATS.2008.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ats/FeyKFF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itc/Komatsu08, author = {Satoshi Komatsu}, editor = {Douglas Young and Nur A. Touba}, title = {{VLSI} Test Exercise Courses for Students in {EE} Department}, booktitle = {2008 {IEEE} International Test Conference, {ITC} 2008, Santa Clara, California, USA, October 26-31, 2008}, pages = {1}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/TEST.2008.4700689}, doi = {10.1109/TEST.2008.4700689}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itc/Komatsu08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/WatanabeSIKF07, author = {Shigeru Watanabe and Kenshu Seto and Yuji Ishikawa and Satoshi Komatsu and Masahiro Fujita}, title = {Protocol Transducer Synthesis using Divide and Conquer approach}, booktitle = {Proceedings of the 12th Conference on Asia South Pacific Design Automation, {ASP-DAC} 2007, Yokohama, Japan, January 23-26, 2007}, pages = {280--285}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ASPDAC.2007.357999}, doi = {10.1109/ASPDAC.2007.357999}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aspdac/WatanabeSIKF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/SakunkonchakKF07, author = {Thanyapat Sakunkonchak and Satoshi Komatsu and Masahiro Fujita}, editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura}, title = {Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction}, booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4762}, pages = {553--563}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75596-8\_40}, doi = {10.1007/978-3-540-75596-8\_40}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/SakunkonchakKF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iess/GaoSKF07, author = {Shanghua Gao and Kenshu Seto and Satoshi Komatsu and Masahiro Fujita}, editor = {Achim Rettberg and Mauro Cesar Zanella and Rainer D{\"{o}}mer and Andreas Gerstlauer and Franz{-}Josef Rammig}, title = {Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures}, booktitle = {Embedded System Design: Topics, Techniques and Trends, {IFIP} {TC10} Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, {USA}}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {231}, pages = {121--134}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-0-387-72258-0\_11}, doi = {10.1007/978-0-387-72258-0\_11}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iess/GaoSKF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mse/KomatsuTFA07, author = {Satoshi Komatsu and Kazuyoshi Takagi and Masahiro Fujita and Kunihiro Asada}, title = {{VLSI} {CAD} Education and Exercise Course with Public Domain Tools}, booktitle = {{IEEE} International Conference on Microelectronic Systems Education, {MSE} '07, San Diego, CA, USA, June 3-4, 2007}, pages = {111--112}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/MSE.2007.90}, doi = {10.1109/MSE.2007.90}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mse/KomatsuTFA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/LiuKF06, author = {Yu Liu and Satoshi Komatsu and Masahiro Fujita}, title = {Synchronization Mechanism for Timed/Untimed Mixed-Signal System Level Design Environment}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {89-A}, number = {4}, pages = {1018--1026}, year = {2006}, url = {https://doi.org/10.1093/ietfec/e89-a.4.1018}, doi = {10.1093/IETFEC/E89-A.4.1018}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/LiuKF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/SakunkonchakKF06, author = {Thanyapat Sakunkonchak and Satoshi Komatsu and Masahiro Fujita}, title = {Synchronization Verification in System-Level Design with {ILP} Solvers}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {89-A}, number = {12}, pages = {3387--3396}, year = {2006}, url = {https://doi.org/10.1093/ietfec/e89-a.12.3387}, doi = {10.1093/IETFEC/E89-A.12.3387}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/SakunkonchakKF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/LiuKF06a, author = {Yu Liu and Satoshi Komatsu and Masahiro Fujita}, title = {The {AMS} Extension to System Level Design Language - SpecC}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {89-A}, number = {12}, pages = {3397--3407}, year = {2006}, url = {https://doi.org/10.1093/ietfec/e89-a.12.3397}, doi = {10.1093/IETFEC/E89-A.12.3397}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/LiuKF06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/WatanabeISKF06, author = {Shota Watanabe and Yuji Ishikawa and Kenshu Seto and Satoshi Komatsu and Masahiro Fujita}, editor = {George A. Constantinides and Wai{-}Kei Mak and Phaophak Sirisuk and Theerayod Wiangtong}, title = {Dynamically reconfigurable protocol transducer}, booktitle = {2006 {IEEE} International Conference on Field Programmable Technology, {FPT} 2006, Bangkok, Thailand, December 13-15, 2006}, pages = {341--344}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/FPT.2006.270343}, doi = {10.1109/FPT.2006.270343}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/fpt/WatanabeISKF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/KomatsuF06, author = {Satoshi Komatsu and Masahiro Fujita}, title = {An optimization of bus interconnects pitch for low-power and reliable bus encoding scheme}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24 May 2006, Island of Kos, Greece}, publisher = {{IEEE}}, year = {2006}, url = {https://doi.org/10.1109/ISCAS.2006.1692937}, doi = {10.1109/ISCAS.2006.1692937}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/KomatsuF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/KomatsuF05, author = {Satoshi Komatsu and Masahiro Fujita}, title = {Low Power and Fault Tolerant Encoding Methods for On-Chip Data Transfer in Practical Applications}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {88-A}, number = {12}, pages = {3282--3289}, year = {2005}, url = {https://doi.org/10.1093/ietfec/e88-a.12.3282}, doi = {10.1093/IETFEC/E88-A.12.3282}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/KomatsuF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fdl/LiuKF05, author = {Yu Liu and Satoshi Komatsu and Masahiro Fujita}, title = {{AMS} Extensions for Timed/Untimed System-Level Design Language}, booktitle = {Forum on specification and Design Languages, {FDL} 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings}, pages = {77--81}, publisher = {{ECSI}}, year = {2005}, url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=422}, timestamp = {Thu, 03 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fdl/LiuKF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/GaoSKF05, author = {Shanghua Gao and Kenshu Seto and Satoshi Komatsu and Masahiro Fujita}, editor = {Gordon J. Brebner and Samarjit Chakraborty and Weng{-}Fai Wong}, title = {Pipeline Scheduling for Array Based Reconfigurable Architectures Considering Interconnect Delays}, booktitle = {Proceedings of the 2005 {IEEE} International Conference on Field-Programmable Technology, {FPT} 2005, 11-14 December 2005, Singapore}, pages = {137--144}, publisher = {{IEEE}}, year = {2005}, timestamp = {Tue, 19 Jun 2018 20:15:46 +0200}, biburl = {https://dblp.org/rec/conf/fpt/GaoSKF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/LiuSKF05, author = {Yu Liu and Thanyapat Sakunkonchak and Satoshi Komatsu and Masahiro Fujita}, editor = {John C. Lach and Gang Qu and Yehea I. Ismail}, title = {System level design language extensions for timed/untimed digital-analog combined system design}, booktitle = {Proceedings of the 15th {ACM} Great Lakes Symposium on {VLSI} 2005, Chicago, Illinois, USA, April 17-19, 2005}, pages = {130--133}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1057661.1057693}, doi = {10.1145/1057661.1057693}, timestamp = {Wed, 15 Dec 2021 17:59:57 +0100}, biburl = {https://dblp.org/rec/conf/glvlsi/LiuSKF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/SakunkonchakKF05, author = {Thanyapat Sakunkonchak and Satoshi Komatsu and Masahiro Fujita}, title = {Synchronization verification in system-level design with {ILP} solvers}, booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona, Italy, Proceedings}, pages = {121--130}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/MEMCOD.2005.1487902}, doi = {10.1109/MEMCOD.2005.1487902}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/SakunkonchakKF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieiceta/KomatsuF03, author = {Satoshi Komatsu and Masahiro Fujita}, title = {Irredundant Low Power Address Bus Encoding Techniques Based on Adaptive Codebooks}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {86-A}, number = {12}, pages = {3001--3008}, year = {2003}, url = {http://search.ieice.org/bin/summary.php?id=e86-a\_12\_3001}, timestamp = {Tue, 08 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieiceta/KomatsuF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieiceta/SakunkonchakKF03, author = {Thanyapat Sakunkonchak and Satoshi Komatsu and Masahiro Fujita}, title = {Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {86-A}, number = {12}, pages = {3192--3199}, year = {2003}, url = {http://search.ieice.org/bin/summary.php?id=e86-a\_12\_3192}, timestamp = {Tue, 08 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieiceta/SakunkonchakKF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/KomatsuF03, author = {Satoshi Komatsu and Masahiro Fujita}, editor = {Hiroto Yasuura}, title = {Irredundant address bus encoding techniques based on adaptive codebooks for low power}, booktitle = {Proceedings of the 2003 Asia and South Pacific Design Automation Conference, {ASP-DAC} '03, Kitakyushu, Japan, January 21-24, 2003}, pages = {9--14}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/1119772.1119775}, doi = {10.1145/1119772.1119775}, timestamp = {Thu, 11 Mar 2021 17:04:51 +0100}, biburl = {https://dblp.org/rec/conf/aspdac/KomatsuF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/FujitaKSSSK03, author = {Masahiro Fujita and Satoshi Komatsu and Hiroshi Saito and Kenshu Seto and Thanyapat Sakunkonchak and Yoshihisa Kojima}, title = {Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies}, booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}, pages = {279}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/HICSS.2003.1174810}, doi = {10.1109/HICSS.2003.1174810}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/FujitaKSSSK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/SaitoSKKF03, author = {Hiroshi Saito and Kenshu Seto and Yoshihisa Kojima and Satoshi Komatsu and Masahiro Fujita}, title = {Engineering Changes in Field Modifiable Architectures}, booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings}, pages = {87--94}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.ieeecomputersociety.org/10.1109/MEMOCODE.2003.10001}, doi = {10.1109/MEMOCODE.2003.10001}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/SaitoSKKF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mse/IshiharaKIFA03, author = {Tohru Ishihara and Satoshi Komatsu and Makoto Ikeda and Masahiro Fujita and Kunihiro Asada}, title = {Comparative Study On Verilog-Based And C-Based Hardware Design Education}, booktitle = {2003 International Conference on Microelectronics Systems Education, {MSE} 2003, Educating Tomorrow's Microsystems Designers, Anaheim, CA, USA, June 1-2, 2003}, pages = {41--42}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/MSE.2003.1205246}, doi = {10.1109/MSE.2003.1205246}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mse/IshiharaKIFA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fpt/KomatsuKSSF02, author = {Satoshi Komatsu and Yoshihisa Kojima and Hiroshi Saito and Kenshu Seto and Masahiro Fujita}, title = {Field modifiable architecture with FPGAs and its design methodology}, booktitle = {Proceedings of the 2002 {IEEE} International Conference on Field-Programmable Technology, {FPT} 2002, Hong Kong, China, December 16-18, 2002}, pages = {382--385}, publisher = {{IEEE}}, year = {2002}, url = {https://doi.org/10.1109/FPT.2002.1188716}, doi = {10.1109/FPT.2002.1188716}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/fpt/KomatsuKSSF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwls/KojimaSSKF02, author = {Yoshihisa Kojima and Hiroshi Saito and Kenshu Seto and Satoshi Komatsu and Masahiro Fujita}, title = {Field Modifiable Architecture and its Design Methodology: System Design Without Logic Synthesis}, booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis, {IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}}, pages = {103--108}, year = {2002}, timestamp = {Sun, 04 Aug 2019 18:01:44 +0200}, biburl = {https://dblp.org/rec/conf/iwls/KojimaSSKF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/KomatsuIA99, author = {Satoshi Komatsu and Makoto Ikeda and Kunihiro Asada}, title = {Low Power Chip Interface Based on Bus Data Encoding with Adaptive Code-Book Method}, booktitle = {9th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '99), 4-6 March 1999, Ann Arbor, MI, {USA}}, pages = {368--371}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/GLSV.1999.757458}, doi = {10.1109/GLSV.1999.757458}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/glvlsi/KomatsuIA99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aspdac/KomatsuIA98, author = {Satoshi Komatsu and Makoto Ikeda and Kunihiro Asada}, title = {Low Power Micoprocessors for Comparative Study on Bus Architecture and Multiplexer Architecture}, booktitle = {Proceedings of the {ASP-DAC} '98, Asia and South Pacific Design Automation Conference 1998, Pacifico Yokohama, Yokohama, Japan, February 10-13, 1998}, pages = {323--324}, publisher = {{IEEE}}, year = {1998}, url = {https://doi.org/10.1109/ASPDAC.1998.669484}, doi = {10.1109/ASPDAC.1998.669484}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/aspdac/KomatsuIA98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.