Search results
From MaRDI portal
- 2020-12-14 Paper Hardware Optimizations and Analysis for the WG-16 Cipher with Tower Field Arithmetic 2019-03-07 Paper Rapid hardware design for cryptographic...10 bytes (19 words) - 16:20, 11 December 2023
- Correct Hardware Design and Verification Methods 2010-02-05 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification...10 bytes (16 words) - 13:27, 7 October 2023
- Correct Hardware Design and Verification Methods 2010-02-05 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification...10 bytes (18 words) - 13:27, 7 October 2023
- Correct Hardware Design and Verification Methods 2010-02-05 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification...10 bytes (16 words) - 02:33, 25 September 2023
- in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification Methods 2006-10-20 Paper Correct Hardware Design and Verification Methods...10 bytes (16 words) - 12:37, 14 March 2024
- Publication Date of Publication Type Correct Hardware Design and Verification Methods 2006-10-20 Paper Correct Hardware Design and Verification Methods 2006-10-20...10 bytes (18 words) - 12:37, 14 March 2024
- Publication Date of Publication Type Correct Hardware Design and Verification Methods 2010-02-05 Paper Balancing the load. Leveraging a semantics stack...10 bytes (18 words) - 12:42, 24 September 2023
- de/entity/Q3620439 2009-04-14 Paper Correct Hardware Design and Verification Methods 2006-10-20 Paper A Hardware Architecture for Dynamic Performance and...10 bytes (19 words) - 04:40, 9 December 2023
- Approach 2022-03-24 Paper A Fully-Pipelined Hardware Design for Gaussian Mixture Models 2018-06-27 Paper Hardware Implementation Trade-Offs of Polynomial Approximations...10 bytes (16 words) - 12:35, 7 October 2023
- in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification Methods 2006-10-20 Paper Correct Hardware Design and Verification Methods...10 bytes (16 words) - 15:10, 24 September 2023
- Publication Type “Little language” project modules 2010-03-17 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper Specifying and Reasoning About...10 bytes (16 words) - 11:01, 7 October 2023
- control 2010-01-18 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification Methods 2006-10-20 Paper https://portal...10 bytes (16 words) - 08:51, 7 October 2023
- Computer Science 2010-02-23 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper Correct Hardware Design and Verification Methods 2010-02-05...10 bytes (16 words) - 13:46, 7 October 2023
- Computer Science 2010-02-23 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper Correct Hardware Design and Verification Methods 2010-02-05...10 bytes (18 words) - 13:46, 7 October 2023
- Mechanically Verified AIG-to-BDD Conversion Algorithm 2010-09-14 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper A SAT-Based Decision Procedure...10 bytes (20 words) - 11:22, 24 September 2023
- of Publication Type Correct Hardware Design and Verification Methods 2010-02-05 Paper Formal Methods in Computer-Aided Design 2006-10-20 Paper...10 bytes (16 words) - 13:37, 28 January 2024
- of Publication Type Formal Methods in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification Methods 2006-10-20 Paper...10 bytes (16 words) - 12:37, 14 March 2024
- Publication Date of Publication Type A new RSA cryptosystem hardware design based on Montgomery's algorithm 2002-03-25 Paper...10 bytes (18 words) - 15:40, 6 October 2023
- Publication Date of Publication Type Optimizing Hardware Design by Composing Utility-Directed Transformations 2017-07-12 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- Publication Type In-Memory Processing on the Spintronic CRAM: From Hardware Design to Application Mapping 2019-08-13 Paper...10 bytes (16 words) - 12:32, 14 March 2024
