Fallah, F., Devadas, S., & Keutzer, K. (1998, January). Functional vector generation for HDL models using linear programming and 3-satisfiability. DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference, 528-533. https://doi.org/10.1145/277044.277187
Citace podle Chicago (17th ed.)Fallah, Farzan, Srinivas Devadas, a Kurt Keutzer. "Functional Vector Generation for HDL Models Using Linear Programming and 3-satisfiability." DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference Jan. 1998: 528-533. https://doi.org/10.1145/277044.277187.
Citace podle MLA (9th ed.)Fallah, Farzan, et al. "Functional Vector Generation for HDL Models Using Linear Programming and 3-satisfiability." DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference, Jan. 1998, pp. 528-533, https://doi.org/10.1145/277044.277187.