PMS2UPF: An automated transition from ESL to RTL power-intent specification.

Miroslav Siro Dominik Macko Katarina Jelemenska

Published in: DDECS (2017)

Keyphrases

power consumption
semi automated
language learning
computer assisted language learning
computer aided
fully automated
state transition
manual inspection
case study
computer assisted
model based diagnosis
transition model
high level
formal verification
english language
provably correct