Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors

2016 ◽  
Author(s):  
Rei Ueno ◽  
Yukihiro Sugawara ◽  
Naofumi Homma ◽  
Takafumi Aoki
Keyword(s):  
Arithmetic Circuits ◽  
Formal Design

Incremental Formal Design Verification

1994 ◽  
Author(s):  
Gitanjali Swamy ◽  
Robert K. Brayton
Keyword(s):  
Design Verification ◽  
Formal Design

Formal and Informal Structure of Organization

2018 ◽  
Author(s):  
Phanish Puranam
Keyword(s):  
Systematic Approach ◽  
Organizational Structures ◽  
Structural Approach ◽  
Informal Organization ◽  
Complex Interactions ◽  
Multiplex Network ◽  
Informal Structure ◽  
Formal Design

In this chapter, my aim is describe the links between the formal and informal structure of organizations, and propose a systematic approach to analyzing these links. I first discuss how the two are related and influence each other. Next, revisiting the theme of organizations as “marvels but not miracles” I argue that formal design can be useful even when it not predicated on high levels of comprehension or intelligence. This is because it can compensate for aspects of the informal organization, as well as shape the emergence of the informal organization. I discuss an instance of a micro-structural approach to such issues in some detail, and conclude by offering a multiplex network formulation that can help us make progress in studying the complex interactions between formal and informal organizational structures.

On Using Approximate Computing to Build an Error Detection Scheme for Arithmetic Circuits

2020 ◽  
Vol 36 (1) ◽  
pp. 33-46
Author(s):  
B. Deveautour ◽  
A. Virazel ◽  
P. Girard ◽  
V. Gherman
Keyword(s):  
Error Detection ◽  
Arithmetic Circuits ◽  
Approximate Computing ◽  
Detection Scheme
Sign in / Sign up

Export Citation Format

Share Document