Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization (German)
- New search for: Konrad, Alexander
- New search for: Scholl, Christoph
- New search for: Mahzoon, Alireza
- New search for: Große, Daniel
- New search for: Drechsler, Rolf
- New search for: Konrad, Alexander
- New search for: Scholl, Christoph
- New search for: Mahzoon, Alireza
- New search for: Große, Daniel
- New search for: Drechsler, Rolf
In:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (26th Workshop)
;
41-44
;
2023
-
ISSN:
- Conference paper / Print
-
Title:Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization
-
Contributors:Konrad, Alexander ( author ) / Scholl, Christoph ( author ) / Mahzoon, Alireza ( author ) / Große, Daniel ( author ) / Drechsler, Rolf ( author )
-
Conference:Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (26th Workshop)
-
Published in:ITG-Fachbericht ; 309 ; 41-44
-
Publisher:
- New search for: VDE-Verlag
-
Publication date:2023-01-01
-
Size:4 pages
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:German
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.