Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
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
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
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
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
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