... The purpose of this workshop is to bring researchers and practitioners on LSI testing from all over the world together to exchange ideas and experiences on register transfer level (RTL) and high level testing. ...
... A consumer gets utility from 2 sources: drinking (measured in liters x ) and time spent on the phone (measured in hours y ).. Each liter of drink costs $4 and each hour on the phone cost[r] ...