From cf745e9a14f3cdcf71ddb75f33fff4f5e049ca36 Mon Sep 17 00:00:00 2001 From: Stephen Scott <55762060+stephen99scott@users.noreply.github.com> Date: Wed, 22 Jul 2020 11:12:57 -0400 Subject: [PATCH] Update README.md --- README.md | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/README.md b/README.md index 9e75179..fb19ae0 100644 --- a/README.md +++ b/README.md @@ -1,12 +1,6 @@ # Simulink Logic Simplifier Tool -The Simulink Logic Simplifier tool automatically simplifies Simulink designs to -reduce complexity and save developers time during development and refactor- -ing. The tool specifically focuses on simplifying implementations of combinato- -rial logic in Simulink, such as those making use of logical operators, relational -operators, and many others. After a simplifiation is performed, the tool also -facilitates verification to ensure that the behaviour of the original system is -preserved in the results. +The Simulink Logic Simplifier tool automatically simplifies Simulink designs to reduce complexity and save developers time during development and refactoring. The tool specifically focuses on simplifying implementations of combinatorial logic in Simulink, such as those making use of logical operators, relational operators, and many others. After a simplifiation is performed, the tool also facilitates verification to ensure that the behaviour of the original system is preserved in the results. ## User Guide For installation and other information, please see the [User Guide](doc/SimulinkLogicSimplifier_UserGuide.pdf).