Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Formal Verification of Restoring Dividers made Fast and Simple
Dasari, Jiteshri, Ciesielski, Maciej
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Get full text
Conference Proceeding
Loading…
Out-of-order parallel simulation for ESL design
Chen, Weiwei, Han, Xu, Dömer, Rainer
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Loading…
POWER7 - Verification challenge of a multi-core processor
Schubert, K.-D.
Published in 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers (01.11.2009)
Published in 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers (01.11.2009)
Get full text
Conference Proceeding
Loading…
Loading…
A technology independent block extraction algorithm
Luellau, F., Hoepken, T., Barke, E.
Published in Proceedings of the 21st Design Automation Conference (25.06.1984)
Published in Proceedings of the 21st Design Automation Conference (25.06.1984)
Get full text
Conference Proceeding
Loading…
Loading…
On modeling integrated design environments
Hübel, Christoph, Ruland, Detlev, Siepmann, Ernst
Published in Euro-DAC '92, European Design Automation Conference : Euro-VHDL '92, Congress Centrum Hamburg, Hamburg, Germany, September 7-10, 1992 (1992)
Published in Euro-DAC '92, European Design Automation Conference : Euro-VHDL '92, Congress Centrum Hamburg, Hamburg, Germany, September 7-10, 1992 (1992)
Get full text
Conference Proceeding
Journal Article