An Animated Introduction to Digital Logic Design

This book is designed for use in an introductory course on digital logic design, typically offered in computer engineering, electrical engineering, computer science, and other related programs. Such a course is usually offered at the sophomore level. This book makes extensive use of animation to illustrate the flow of data within a digital system and to step through some of the procedures used to design and optimize digital circuits. All of the animations for this book can be found here: https://digitalcommons.njit.edu/dld-animations/https://digitalcommons.njit.edu/oat/1000/thumbnail.jp

Hardware Certification for Real-time Safety-critical Systems: State of the Art

This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits’ compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches to hardware verification. Some results of the authors’ own study on tool qualification are presented

APPLICATION OF 600LEAN ALGEBRA: CIRCUIT THAT CONTROLS THE CEILING LIGHT AND BUZZER IN THE AUTOMOBILE

In the present day, technology is drastically enhanced approximately after every eight months, new innovation establishes and electrical circuit gets more complex time to time. The project "Circuit that Controls the Ceiling Light and Buzzer in the Automobile" is a first step to study the similarity between operations of logical connectives and operations of switching devices. In this project, a powerful technique, named, Boolean algebra is introduced to simplify complex circuit. Complex circuit can then be easily simplified and designed by this approach. The project is mainly based on Boolean algebra and digital circuit design. The ceiling light control circuit and buzzer control circuit are then created after the simplification is done by Boolean algebra technique and then implemented it on programmable logic devices. The success of this project is highly dependent on what methods are used. Preliminary design, testing and implementation will be the key for project smoothness. Lastly, this project proves that there is a simpler way to design a very complicated circuit and how mathematic is related to circuit design

High integrity hardware-software codesign

Programmable logic devices (PLDs) are increasing in complexity and speed, and are being used as important components in safety-critical systems. Methods for developing high-integrity software for these systems are well-known, but this is not true for programmable logic. We propose a process for developing a system incorporating software and PLDs, suitable for safety critical systems of the highest levels of integrity. This process incorporates the use of Synchronous Receptive Process Theory as a semantic basis for specifying and proving properties of programs executing on PLDs, and extends the use of SPARK Ada from a programming language for safety-critical systems software to cover the interface between software and programmable logic. We have validated this approach through the specification and development of a substantial safety-critical system incorporating both software and programmable logic components, and the development of tools to support this work. This enables us to claim that the methods demonstrated are not only feasible but also scale up to realistic system sizes, allowing development of such safety-critical software-hardware systems to the levels required by current system safety standards

Digital Signal Processing: State-of-the-Art at CERN and Recommendations

Dramatic hardware performance improvements over the last decades have paved the way to the ascent of digital techniques for processing signals, with a concurrent and parallel interest in Digital Signal Processing (DSPing) and in the use of Digital Signal Processors (DSPs). Recent discussions within PS showed that there are needs for DSP-qualified manpower in new projects that cannot be fully satisfied internally. In order to determine how PS can best profit from the growing importance and efficiency of DSP technologies, with an effort compatible with the available divisional resources, a DSP working group was created. Its mandate is to advise PS management on the best way to proceed in the DSPs and DSPing domains. In particular, the issues targeted are wide-ranging, from evaluating the state-of-the-art at CERN to hardware standardisation and required training. This report gives the findings of the working group and presents its closing recommendations

Substitution-based approach for linguistic steganography using antonym

Steganography has been a part of information technology security since a long time ago. The study of steganography is getting attention from researchers because it helps to strengthen the security in protecting content message during this era of Information Technology. In this study, the use of substitution-based approach for linguistic steganography using antonym is proposed where it is expected to be an alternative to the existing substitution approach that using synonym. This approach still hides the message as existing approach but its will change the semantic of the stego text from cover text. A tool has been developed to test the proposed approach and it has been verified and validated. This proposed approach has been verified based on its character length stego text towards the cover text, bit size types of the secret text towards the stego text and bit size types of the cover text towards the stego text. It has also been validated using four parameters, which are precision, recall, f-measure, and accuracy. All the results showed that the proposed approach was very effective and comparable to the existing synonym-based substitution approach

Introduction to FPGA design

This paper presents an introduction to digital hardware design using Field Programmable Gate Arrays (FPGAs). After a historical introduction and a quick overview of digital design, the internal structure of a generic FPGA is discussed. We then describe the design flow, i.e., the steps needed to go from design idea to actual working hardware. Digital signal processing is an important area where FPGAs have found many applications in recent years. Therefore a complete section is devoted to this subject. The paper finishes with a discussion of important peripheral concepts essential for success in any project involving FPGAs

A survey of DA techniques for PLD and FPGA based systems

Programmable logic devices (PLDs) are gaining in acceptance, of late, for designing systems of all complexities ranging from glue logic to special purpose parallel machines. Higher densities and integration levels are made possible by the new breed of complex PLDs and FPGAs. The added complexities of these devices make automatic computer aided tools indispensable for achieving good performance and a high usable gate-count. In this article, we attempt to present in an unified manner, the different tools and their underlying algorithms using an example of a vending machine controller as an illustrative example. Topics covered include logic synthesis for PLDs and FPGAs along with an in-depth survey of important technology mapping, partitioning and place and route algorithms for different FPGA architectures.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/31206/1/0000108.pd