PN’2015 Advanced Tutorial: Modeling, Synthesis and Verification of Hardware

We are giving an Advanced Tutorial: Modeling, Synthesis and Verification of Hardware on Tuesday 23rd June at the Petri nets 2015 Conference in Brussels.

The agenda of the tutorial and directions to the venue can be found here:

http://www.ulb.ac.be/di/verif/pn2015acsd2015/satellite.html#Tuto2

Everyone is welcome!

 

Our talks at ASYNC 2015 in Mountain View, Silicon Valley

We gave two talks on our papers accepted for ASYNC 2015:

http://ee.usc.edu/async2015/

  • Design and Verification of Speed-Independent Multiphase Buck Controller    [ Slides]
    Danil Sokolov, Victor Khomenko, Andrey Mokhov, Alex Yakovlev, and David Lloyd
  • Opportunistic Merge Element    [ Slides ]
    Andrey Mokhov, Victor Khomenko, Danil Sokolov, and Alex Yakovlev

Both emerged from our project A4A (Async for Analogue)

My Keynote “Putting Computing on a Strict Diet with Energy-Proportionality”

I gave a keynote talk on “Putting Computing on a Strict Diet with Energy-Proportionality” at  the XXIX Conference on Design of Circuits and Integrated Systems, held in Madrid on 26-28th November 2014.

The abstract of the talk can be found in the conference programme:

http://www.cei.upm.es/dcis/wp-content/uploads/2014/10/DCIS_2014_program.pdf

The slides of the talk can be found here:

http://async.org.uk/Alex.Yakovlev/Yakovlev-DCIS2014-Keynote-final.pdf

 

Eliminating “competitors” by not giving them enough energy

One of possible strategies for differentiating some types of electronics from other types is to stage a “power-modulated competition” between them, by gradually tuning power source in different ways, for example in terms of power levels, either through voltage level or/and current level, also in dynamic sense as well. The circuits that require stable and sufficiently high level of voltage will be gradually eliminated from the race … Only those who can survive through the power dynamic range context will pass through the natural selection!

Building such a test bed is an interesting challenge by itself!

Heaviside memorial

The unveiling ceremony was held on Saturday 30th August 2014 at 3pm in Paignton Cemetery. It was attended by the Mayor of Torbay, the MP for Torbay, an ex-curator of the Science Museum (representing the Institution of Engineering and Technology), the Chairman of the Torbay Civic Society, delegates from Newcastle University, representatives from Allwood and Sons the monument restorers and members of the general public. Most importantly, the ceremony was honored by the attendance of a relative of Oliver Heaviside , Alan Heather (Oliver Heaviside’s first cousin three times removed) and his wife.

http://www.torquayheraldexpress.co.uk/Restored-Heaviside-memorial-unveiled-Saturday/story-22858873-detail/story.html

At this ceremony I emphasized the fact that Heaviside who was an electrical engineer at the start of his professional life, with his work that originated in solving practical engineering problems (e.g. telegraphy and telephony), made an unprecedented impact on fundamental disciplines – mathematics and physics. This fact should be seen by many students and researchers, as well as engineers, as an inspiration to the creative process in science. Unlike the accepted “causal path”, which people often associate with applying basic science to engineering problems, the truly innovative causal path is actually reverse. On this path, one would start with the engineering problem, find a practically working solution – very often engineering intuition helps here – and then “invent” the mathematics and physics to describe the solution as a phenomenon. Heaviside’s whole life has been the following of this path, which pretty well epitomizes his famous saying “We reverse this; the current in the wire is set up by the energy transmitted through the medium around it.” (”Electrical Papers” Vol. 1, page 438, by Oliver Heaviside.). Here the engineering method acts as an driving energy and the product of this method, the scientific method, is like a current in the wire.

I am sure that Heaviside is a brilliant example that we should tell our students about when attracting them into (electrical and electronic) engineering – where they can make impact on fundamental sciences without actually being professional mathematicians or physicists. They need to be creative and imaginative!

 

our paper “On hyperbolic laws …” published online in IJCTA

http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-007X/earlyview

On hyperbolic laws of capacitor discharge through self-timed digital loads

Alexandre Yakovlev, Alexander Kushnerov, Andrey Mokhov and Reza Ramezani

Article first published online: 1 AUG 2014 | DOI: 10.1002/cta.2010

Thumbnail image of graphical abstract

A new model to predict the dynamic behavior of a self-timed digital system powered by a capacitor is derived. The model demonstrates the hyperbolic shape of the discharging process on the capacitor. It allows a symbolic analysis of the discharging process for complex digital loads comprised of series (stack) and parallel configurations of digital circuits. For example, for a stack configuration, non-trivial relationships between the hyperbolic discharging rates have been derived. The derivations have been validated by simulations and experiments