作者的書籍：Srinivas Devadas - BookPine

Programming for the Puzzled: Learn to Program While Solving Puzzles

Programming for the Puzzled: Learn to Program While Solving Puzzles

Srinivas Devadas

Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel Sgx Architecture (Foundations and Trends

Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel Sgx Architecture (Foundations and Trends

Victor Costan

Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture in Electronic Design Automation

Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture in Electronic Design Automation

Victor Costan

VLSI: Systems on a Chip: IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration

VLSI: Systems on a Chip: IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration

Luis Miguel Silveira

Computer-Aided Design Techniques for Low Power Sequential Logic Circuits

Computer-Aided Design Techniques for Low Power Sequential Logic Circuits

José Monteiro

Sequential Logic Testing and Verification

Sequential Logic Testing and Verification

Abhijit Ghosh

Logic Synthesis

Logic Synthesis

Srinivas Devadas

Approaches to Multi-Level Sequential Logic Synthesis

Srinivas Devadas

General Decomposition of Sequential Machines: Relationships to State Assignment

Srinivas Devadas

Irredundant Sequential Machines Via Optimal Logic Synthesis

Srinivas Devadas

Optimal Layout via Boolean Satisfiability

Srinivas Devadas

Boolean Minimization and Algebraic Factorization Procedures for Fully Testable Sequential Machines

Srinivas Devadas

Algorithms for pipeline scheduling and synthesis: Y Srinivas Devadas and A. Richard Newton

Srinivas Devadas

Sequential Logic Testing and Verification

Abhijit Ghosh