IEICE SEARCH SYSTEM

Masahiro FUJITA

Transaction Ordering in Network-on-Chips for Post-Silicon Validation Amir Masoud GHAREHBAGHI Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/12/01 Vol. E95-A No. 12 pp. 2309-2318 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Logic Synthesis, Test and Verification Keyword: post-silicon validation, transaction ordering, network-on-a-chip (NoC), system-on-a-chip (SoC),
	Summary \| Full Text:PDF (674.2KB)

An Automatic Method of Mapping I/O Sequences of Chip Execution onto High-level Design for Post-Silicon Debugging Yeonbok LEE Takeshi MATSUMOTO Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/07/01 Vol. E94-A No. 7 pp. 1519-1529 Type of Manuscript: PAPER Category: VLSI Design Technology and CAD Keyword: post-silicon debugging, high-level design, I/O sequence mapping,
	Summary \| Full Text:PDF (1.2MB)

Multi-Level Bounded Model Checking with Symbolic Counterexamples Tasuku NISHIHARA Takeshi MATSUMOTO Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/02/01 Vol. E94-A No. 2 pp. 696-705 Type of Manuscript: PAPER Category: VLSI Design Technology and CAD Keyword: formal verification, bounded model checking, finite state machine with datapath, symbolic simulation,
	Summary \| Full Text:PDF (1.4MB)

Interconnect-Aware Pipeline Synthesis for Array-Based Architectures Shanghua GAO Hiroaki YOSHIDA Kenshu SETO Satoshi KOMATSU Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/06/01 Vol. E92-A No. 6 pp. 1464-1475 Type of Manuscript: PAPER Category: VLSI Design Technology and CAD Keyword: software pipelining, interconnect delay, high level synthesis, scheduling, performance,
	Summary \| Full Text:PDF (1MB)

Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath Tasuku NISHIHARA Takeshi MATSUMOTO Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/05/01 Vol. E92-D No. 5 pp. 972-984 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Hardware Verification Keyword: high-level synthesis, behavioral synthesis, formal verification, equivalence checking,
	Summary \| Full Text:PDF (1020.2KB)

A Unified Framework for Equivalence Verification of Datapath Oriented Applications Bijan ALIZADEH Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/05/01 Vol. E92-D No. 5 pp. 985-994 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Hardware Verification Keyword: equivalence verification, canonical form, RTL model, gate-level implementation, decision diagram,
	Summary \| Full Text:PDF (1MB)

Synchronization Verification in System-Level Design with ILP Solvers Thanyapat SAKUNKONCHAK Satoshi KOMATSU Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/12/01 Vol. E89-A No. 12 pp. 3387-3396 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: System Level Design Keyword: formal verification, SpecC language, event synchronization, Boolean programs, automatic abstraction refinement, assertion-based verification,
	Summary \| Full Text:PDF (380.9KB)

The AMS Extension to System Level Design Language--SpecC Yu LIU Satoshi KOMATSU Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/12/01 Vol. E89-A No. 12 pp. 3397-3407 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: System Level Design Keyword: system level design language, AMS, SpecC, continuous behavior,
	Summary \| Full Text:PDF (1.3MB)

Synchronization Mechanism for Timed/Untimed Mixed-Signal System Level Design Environment Yu LIU Satoshi KOMATSU Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/04/01 Vol. E89-A No. 4 pp. 1018-1026 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: AMS extension, system level design language, timed/untimed, mixed-signal, synchronization, SpecC language,
	Summary \| Full Text:PDF (1.3MB)

Low Power and Fault Tolerant Encoding Methods for On-Chip Data Transfer in Practical Applications Satoshi KOMATSU Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/12/01 Vol. E88-A No. 12 pp. 3282-3289 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Low Power Methodology Keyword: bus encoding, ECC/EDC, low power, reliability,
	Summary \| Full Text:PDF (562.5KB)

An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences Takeshi MATSUMOTO Hiroshi SAITO Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/12/01 Vol. E88-A No. 12 pp. 3315-3323 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Simulation and Verification Keyword: equivalence checking, C-based system level design, symbolic simulation, textual difference, program slicing,
	Summary \| Full Text:PDF (870.8KB)

Irredundant Low Power Address Bus Encoding Techniques Based on Adaptive Codebooks Satoshi KOMATSU Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/12/01 Vol. E86-A No. 12 pp. 3001-3008 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Power Optimization Keyword: low power encoding, address bus, signal transition, address locality,
	Summary \| Full Text:PDF (514.9KB)

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams Thanyapat SAKUNKONCHAK Satoshi KOMATSU Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/12/01 Vol. E86-A No. 12 pp. 3192-3199 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Logic and High Level Synthesis Keyword: SpecC language, event synchronization, difference decision diagrams (DDDs), Boolean programs, abstraction refinement,
	Summary \| Full Text:PDF (837.2KB)

Network Resynthesis Algorithms for Delay Minimization Kuang-Chien CHEN Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/09/20 Vol. E76-D No. 9 pp. 1102-1113 Type of Manuscript: Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design) Category: Logic Synthesis Keyword: gate resynthesis, sum-to-one subsets, permissible functions, candidate cubes, tautology-checking,
	Summary \| Full Text:PDF (907.2KB)

Enhanced Unique Sensitization for Efficient Test Generation Yusuke MATSUNAGA Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/09/20 Vol. E76-D No. 9 pp. 1114-1120 Type of Manuscript: Special Section PAPER (Special Issue on Synthesis and Verification of Hardware Design) Category: Test Keyword: computer hardware and disign, testing and verification,
	Summary \| Full Text:PDF (620.6KB)

Timing Optimization of Multi-Level Networks Using Boolean Relations Yuji KUKIMOTO Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/03/20 Vol. E76-A No. 3 pp. 362-369 Type of Manuscript: Special Section PAPER (Special Section on the 5th Karuizawa Workshop on Circuits and Systems) Category: Keyword: timing optimization, logic synthesis, logic optimization, Boolean relations, Boolean unification,
	Summary \| Full Text:PDF (698.3KB)

Applications of Boolean Unification to Combinational Logic Synthesis Yuji KUKIMOTO Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/10/20 Vol. E75-A No. 10 pp. 1212-1219 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Keyword: Boolean unification, Boolean equations, logic synthesis, logic optimization, Boolean relations,
	Summary \| Full Text:PDF (649.8KB)

Coupling of Memory Search and Mental Rotation by a Nonequilibrium Dynamics Neural Network Jun TANI Masahiro FUJITA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/05/20 Vol. E75-A No. 5 pp. 578-585 Type of Manuscript: Special Section PAPER (Special Section on Nonlinear Dynamics--Adaptive, Learning and Neural Systems--) Category: Neural Systems Keyword: neural network, chaos, mental rotation,
	Summary \| Full Text:PDF (604.1KB)