Schedule DS2014

Traue keiner Hardware, die nicht nachvollziehbar verifizierbar ist. Ein Parcour durch Mittel und Methoden zur Verifkation von Hardware.

Link list:
https://en.wikipedia.org/wiki/Backdoor_(computing)
https://en.wikipedia.org/wiki/Covert_listening_device
https://en.wikipedia.org/wiki/Kill_switch
https://en.wikipedia.org/wiki/Free_and_Open_Source_Software
https://en.wikipedia.org/wiki/Binary_blob
https://en.wikipedia.org/wiki/Open_source_hardware
https://en.wikipedia.org/wiki/Printed_circuit_board
https://en.wikipedia.org/wiki/Electronic_design_automation
https://en.wikipedia.org/wiki/Circuit_diagram
https://en.wikipedia.org/wiki/EDIF
https://en.wikipedia.org/wiki/Placement_(EDA)
https://en.wikipedia.org/wiki/Netlist
https://en.wikipedia.org/wiki/SPICE
https://en.wikipedia.org/wiki/Gerber_format
https://en.wikipedia.org/wiki/Automated_optical_inspection
https://en.wikipedia.org/wiki/Automated_X-ray_inspection
https://en.wikipedia.org/wiki/Automatic_test_equipment
https://en.wikipedia.org/wiki/Automatic_test_pattern_generation
https://en.wikipedia.org/wiki/In-circuit_test
https://en.wikipedia.org/wiki/Fault_model
https://en.wikipedia.org/wiki/Jtag
https://en.wikipedia.org/wiki/Boundary_scan
https://en.wikipedia.org/wiki/Design_For_Test
https://en.wikipedia.org/wiki/Serial_Vector_Format
https://en.wikipedia.org/wiki/Verilog
https://en.wikipedia.org/wiki/VHDL
https://en.wikipedia.org/wiki/Fpga
https://en.wikipedia.org/wiki/Formal_verification
https://en.wikipedia.org/wiki/Formal_equivalence_checking
https://en.wikipedia.org/wiki/Model_checking
https://en.wikipedia.org/wiki/Opencv
https://en.wikipedia.org/wiki/GEDA
https://en.wikipedia.org/wiki/Kicad
https://en.wikipedia.org/wiki/TAPR_Open_Hardware_License
https://en.wikipedia.org/wiki/CERN_Open_Hardware_License
https://en.wikipedia.org/wiki/Novena_(computing_platform)
https://en.wikipedia.org/wiki/Business_models_for_open-source_software

Linkliste:
https://de.wikipedia.org/wiki/Backdoor
https://de.wikipedia.org/wiki/Abhörgerät
https://de.wikipedia.org/wiki/Notausschalter
https://de.wikipedia.org/wiki/Free/Libre_Open_Source_Software
https://de.wikipedia.org/wiki/Binary_Large_Object
https://de.wikipedia.org/wiki/Open_Source_Hardware
https://de.wikipedia.org/wiki/Freie_Hardware
https://de.wikipedia.org/wiki/Leiterkarte
https://de.wikipedia.org/wiki/Electronic_Design_Automation
https://de.wikipedia.org/wiki/Schaltplan
https://de.wikipedia.org/wiki/EDIF
https://de.wikipedia.org/wiki/Leiterplattenentflechtung
https://de.wikipedia.org/wiki/Netzliste
https://de.wikipedia.org/wiki/SPICE_(Software)
https://de.wikipedia.org/wiki/Gerber-Format
https://de.wikipedia.org/wiki/Automatische_optische_Inspektion
https://de.wikipedia.org/wiki/Automatische_Röntgen-Inspektion
https://de.wikipedia.org/wiki/Automatic_Test_Equipment
https://en.wikipedia.org/wiki/Automatic_test_pattern_generation
https://de.wikipedia.org/wiki/In-Circuit-Test
https://de.wikipedia.org/wiki/Fehler_in_elektronischen_Schaltungen
https://de.wikipedia.org/wiki/Joint_Test_Action_Group
https://de.wikipedia.org/wiki/Boundary_Scan_Test
https://en.wikipedia.org/wiki/Design_For_Test
https://de.wikipedia.org/wiki/Serial_Vector_Format
https://de.wikipedia.org/wiki/Verilog
https://de.wikipedia.org/wiki/Very_High_Speed_Integrated_Circuit_Hardware_Description_Language
https://de.wikipedia.org/wiki/Field_Programmable_Gate_Array
https://de.wikipedia.org/wiki/Formale_Verifikation#Informatik
https://de.wikipedia.org/wiki/Model_Checking
https://de.wikipedia.org/wiki/OpenCV
https://de.wikipedia.org/wiki/GEDA_(Software)
https://de.wikipedia.org/wiki/KiCad
https://en.wikipedia.org/wiki/TAPR_Open_Hardware_License
https://de.wikipedia.org/wiki/CERN_Open_Hardware_License
https://en.wikipedia.org/wiki/Novena_(computing_platform)
https://en.wikipedia.org/wiki/Business_models_for_open-source_software

Info

Day: 2014-09-13
Start time: 16:30
Duration: 01:00
Room: Kleiner Saal

Links:

• iCalendar

Feedback

Click here to let us know how you liked this event.