Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG
Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help     search: People Departments Other entries Lecture list Module Rooms Publications Research projects Internat. contacts Job offers Furniture and equipment offers Thesis offers      semester: WS 2024/2025 SS 2024 WS 2023/2024 SS 2023 WS 2022/2023 SS 2022 WS 2021/2022 SS 2021 WS 2020/2021 SS 2020 WS 2019/2020 SS 2019 WS 2018/2019 SS 2018 WS 2017/2018 SS 2017 WS 2016/2017 SS 2016 WS 2015/2016 SS 2015 WS 2014/2015 SS 2014 WS 2013/2014 SS 2013 WS 2012/2013 SS 2012 WS 2011/2012 SS 2011 WS 2010/2011 SS 2010 WS 2009/2010 SS 2009 WS 2008/2009 SS 2008 WS 2007/2008 SS 2007 WS 2006/2007 SS 2006 WS 2005/2006 SS 2005 WS 2004/2005 SS 2004 WS 2003/2004 SS 2003 WS 2002/2003 SS 2002 WS 2001/2002 SS 2001 WS 2000/2001 SS 2000 WS 1999/2000 SS 99 WS 98/99 SS 98 WS 97/98 SS 97 WS 96/97
Layout   printable version      Also in UnivIS   course list lecture directory     events calendar job offers furniture and equipment offers	Spezifikation von Systemen und Komponenten durch formale und semiformale Methoden Im Rahmen des Projektes wurde evaluiert, wie sich der ASIC- Entwurfsprozess formalisieren lässt. Dazu wurde die traditionelle Verifikation im Hause Lucent analysiert, eine Klassifizierung der verwendeten Tests durchgeführt und eine tabellenbasierte Spezifikationsmethode entwickelt. Project manager: Prof. a.D. Dr. Dr. h.c. Mario Dal Cin Project participants: Dipl.-Inf. Stefan Gossens Duration: 1.10.2000 - 31.3.2001 Sponsored by: Lucent Technologies, Nürnberg Mitwirkende Institutionen: Lucent Technologies, Nürnberg Lehrstuhl für rechnergestützten Schaltungsentwurf der FAU Institution: Chair of Computer Science 3 (Hardware Architectures) UnivIS is a product of Config eG, Buckenhof