Masahiro Fujita - Böcker

This book will explain how to verify SoC (Systems on Chip) logic designs using "formal� and "semiformal� verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional� verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs.First book that covers all aspects of formal and semiformal, high-level (higher than RTL) design verification targeting SoC designsFormal verification of high-level designs (RTL or higher)Verification techniques are discussed with associated system-level design methodology

Physics and Technology of Crystalline Oxide Semiconductor CAAC-IGZO: Application to LSIThis book describes the application of c-axis aligned crystalline In-Ga-Zn oxide (CAAC-IGZO) technology in large-scale integration (LSI) circuits. The applications include Non-volatile Oxide Semiconductor Random Access Memory (NOSRAM), Dynamic Oxide Semiconductor Random Access Memory (DOSRAM), central processing unit (CPU), field-programmable gate array (FPGA), image sensors, and etc. The book also covers the device physics (e.g., off-state characteristics) of the CAAC-IGZO field effect transistors (FETs) and process technology for a hybrid structure of CAAC-IGZO and Si FETs. It explains an extremely low off-state current technology utilized in the LSI circuits, demonstrating reduced power consumption in LSI prototypes fabricated by the hybrid process. A further two books in the series will describe the fundamentals; and the specific application of CAAC-IGZO to LCD and OLED displays.Key features: Outlines the physics and characteristics of CAAC-IGZO FETs that contribute to favorable operations of LSI devices.Explains the application of CAAC-IGZO to LSI devices, highlighting attributes including low off-state current, low power consumption, and excellent charge retention.Describes the NOSRAM, DOSRAM, CPU, FPGA, image sensors, and etc., referring to prototype chips fabricated by a hybrid process of CAAC-IGZO and Si FETs.

This book contains extended and revised versions of the best papers presented at the 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, held in Verona, Italy, in October 2018.The 13 full papers included in this volume were carefully reviewed and selected from the 27 papers (out of 106 submissions) presented at the conference. The papers discuss the latest academic and industrial results and developments as well as future trends in the field of System-on-Chip (SoC) design, considering the challenges of nano-scale, state-of-the-art and emerging manufacturing technologies. In particular they address cutting-edge research fields like heterogeneous, neuromorphic and brain-inspired, biologically-inspired, approximate computing systems.

This book contains extended and revised versions of the best papers presented at the 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, held in Verona, Italy, in October 2018.The 13 full papers included in this volume were carefully reviewed and selected from the 27 papers (out of 106 submissions) presented at the conference. The papers discuss the latest academic and industrial results and developments as well as future trends in the field of System-on-Chip (SoC) design, considering the challenges of nano-scale, state-of-the-art and emerging manufacturing technologies. In particular they address cutting-edge research fields like heterogeneous, neuromorphic and brain-inspired, biologically-inspired, approximate computing systems.

This book describes the state of the lay participation system in criminal justice, saiban-in seido, in Japanese society. Starting with descriptions of the outlines of lay participation in the Japanese criminal justice system, the book deals with the questions of what the lay participants think about the system after their participation, how the general public evaluate the system, whether the introduction of lay participation has promoted trust in the justice system in Japan, and the foci of Japanese society’s interest in the lay participation system. To answer these questions, the author utilizes data obtained from social surveys of actual participants and of the general public. The book also explores the results of quantitative text analyses of newspaper articles. With those data, the author describes how Japanese society evaluates the implementation of the system and discusses whether the system promotes democratic values in Japan.

This book describes the state of the lay participation system in criminal justice, saiban-in seido, in Japanese society. Starting with descriptions of the outlines of lay participation in the Japanese criminal justice system, the book deals with the questions of what the lay participants think about the system after their participation, how the general public evaluate the system, whether the introduction of lay participation has promoted trust in the justice system in Japan, and the foci of Japanese society’s interest in the lay participation system. To answer these questions, the author utilizes data obtained from social surveys of actual participants and of the general public. The book also explores the results of quantitative text analyses of newspaper articles. With those data, the author describes how Japanese society evaluates the implementation of the system and discusses whether the system promotes democratic values in Japan.

The book compiles efficient design and test methodologies for the implementation of reversible logic circuits. The methodologies covered in the book are design approaches, test approaches, fault tolerance in reversible circuits and physical implementation techniques. The book also covers the challenges and the reversible logic circuits to meet these challenges stimulated during each stage of work cycle. The novel computing paradigms are being explored to serve as a basis for fast and low power computation.