"EDA"@cs . "Electronic design automation"@cs .