A System Design Method Based on Interaction between Logic and Data Sets | IEEE Conference Publication | IEEE Xplore