For hardware/software agnostic design generation, a method encodes a logic design as a linear array that includes a plurality of logic states. Each logic state includes one or more binary output variables, one or more binary input variables, one or more minterms of the one or more binary input variables, one or more maxterms of the one or more minterms, one or more present state values, and one or more next state values. The method generates source code from the plurality of logic states by generating a software structure selected from the group one of a case statement, a table, and a plurality of if/then statements, generating an encoded logic state for each logic state, generating a condition test for each encoded logic state, and appending a binary output variable statement and an assertion indicator value for binary output variable associated with the encoded logic state.