Derniers articles

• Recherche > Stages/emplois >

  Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level

• Recherche > Stages/emplois >

  Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level

• Enseignement > M1 Lyon 1 >

  Compilation et Traduction de Programmes

• Enseignement > L2 Lyon1 >

  LIFSE : Systèmes d’Exploitation

• Enseignement >

  Faire une vidéo sur transparents sous Linux (Ubuntu)

• Enseignement >

  Discord pour l’enseignement à distance

• Personnel > Recettes >

  Cannelés salés

• Outils > Programmation >

  Pre-compiled RISC-V GNU toolchain and spike

• Recherche > Outils >

  HAL "no proceedings" checker

• Recherche > Étudiants/Post-docs >

  Julian Bruyat

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 16

Articles les plus populaires

• Personnel > Recettes >

  Macarons et ganaches

• Enseignement > Divers >

  EnsiWiki : le Wiki des étudiants et des enseignants de l’Ensimag

• Outils > Programmation >

  Pre-compiled RISC-V GNU toolchain and spike

• Enseignement > Tools >

  Unix-training : un ensemble d’outils pour enseigner Unix de manière efficace et ludique

• Recherche > Outils >

  sc-during : Parallel Programming on Top of SystemC

• Outils > LaTeX >

  latexpand, git-latexdiff : manipulate LaTeX files (diff, expand \input and \include, remove comments, ...)

• Outils > Programmation >

  Collection de programmes C et C++ amusants et buggés

• Recherche > Stages/emplois >

  Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level

• Recherche > Stages/emplois >

  Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level

• Recherche > Étudiants/Post-docs >

  Amaury Graillat (PhD)

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 16

Les mots-clés

Co-workers

Modèle polyédrique, Amaury Maillé, Bageshri Karkare, Bruno Ferres, Catherine Parent, Christophe Alias, Claire Maiza, Claude Helmstetter, David Monniaux, Florence Maraninchi, Frédéric Suter, Giovanni Funchal, Guillaume Salagnac, Hamza Rihani, Jérôme Cornet, Julien Henry, Karine Altisen, Kevin Marquet, Laure Gonnord, Ludovic Henrio, Martin Goyot, Mehdi Khosravian, Oussama Oulkaid, Pascal Raymond, Rémi Watrigant, Yanhong Liu

Tools

ac2lus, ACEplorer, Apron, ATMI, Chamilotools, Clang, CUDD, DCC, DPN, Encore language, GCC, Git, Java, jTLM, Kalray MPPA, LibTLMPWT, LLVM, LusSy, Lustre, NuSMV, PAGAI, Pinapa, PinaVM, sc-during, SimGrid, Spin, SPIP, SystemC, Tuleap, Uppaal, Verse, Vivado HLS, Yices, Z3

Topics

42, Interprétation Abstraite, Implémentation, Modèle polyédrique, Synthèse de haut niveau (HLS), Compilation, Dataflow programs, Formal Verification, Future, Parallelism, Power-estimation, Programming languages, Real-Time Calculus, Simulation, SMT-solving, TLM, Transistor-level analysis of electronic circuits, Worst Case Execution Time

Type of Student

Stagiaire L3, Projet de fin d’étude (ingénieur), Stage L3, Projet d’orientation en Master (POM), Stagiaire M1, CCI Internship, CIFRE Ph. D, Excellence Internship, IRL Ensimag, L2 Internship, M2R, Ph. D, Post-doc, TER UJF

Year

2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2021, 2022, 2023, 2024