Now showing items 1-1 of 1

  • Specification mining for asynchronous controllers 

    San Pedro Martín, Javier de; Bourgeat, Thomas; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2016)
    Conference report
    Open Access
    The paper presents a first effort at exploring a novel area in the domain of asynchronous controllers: specification mining. Rather than synthesizing circuits from specifications, we aim at doing reverse engineering, i.e., ...